{"entities":{"Q4379628":{"pageid":6409227,"ns":120,"title":"Item:Q4379628","lastrevid":39845997,"modified":"2025-01-27T18:51:38Z","type":"item","id":"Q4379628","labels":{"en":{"language":"en","value":"Propositions in Prepositional Logic Provable Only by Indirect Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123539"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379628$B1C71C4F-3F3E-47D9-A337-30C88C426FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bc5672f0da9fa4f026e519a0f90846db84fd7dd","datavalue":{"value":{"text":"Propositions in Prepositional Logic Provable Only by Indirect Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4379628$E4C95056-7F90-42D0-B79F-CCA6A9426744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c9ba1b2ee3fc4aa81a00551d767dbc3b59e4fb","datavalue":{"value":"0906.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$15CDB9C8-3CD9-4942-A112-F130B252188A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"206ef4eaa23d9021767d7c43417accbfd7e9962d","datavalue":{"value":{"entity-type":"item","numeric-id":1184735,"id":"Q1184735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379628$BCEADF31-8EBF-4CD6-B52B-BCB0A652AC95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379628$BCB160EB-DD7D-46E9-B773-ED35984DD4F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f6e9accdba24089d0af8ad200c252ff2ed2384","datavalue":{"value":{"time":"+1999-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4379628$919DC1BE-5005-4C94-8451-D2211B2A8E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$9CF19F25-B775-476A-8146-98C7CD881F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$95B85B81-DBD8-4D0B-9068-CEACD4625EED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf8d9fb2cba3abd39f6a2623049465050befbf2c","datavalue":{"value":"1123539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$246EAD7B-7274-4629-8CC9-AC574C7CBEEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379628$198CC480-F9B9-4196-B308-A60E227B39DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379628$E7AEE47A-F1D4-44BF-8AD3-38F205EFB95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379628$8996F9D3-BCF5-474F-ADFA-01A25E56E1B2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379628$9BDD5448-6991-48FB-B345-3C8B44F98283","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5fd8e89c85e73999f6b87c93ef60b6615e2d658","datavalue":{"value":"https://doi.org/10.1002/malq.19980440105","type":"string"},"datatype":"url"},"type":"statement","id":"Q4379628$6AD6F147-86B5-4B6A-8121-05BF83E74C10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1036d820fb5c926d699df2ef611a650af69c6eb4","datavalue":{"value":"W2092498213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$AC070340-FD0F-4E02-B5A9-17E8E3FE2C77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a35e27e207c1f59804162e80fdc5a68f4d3c3f49","datavalue":{"value":"10.1002/MALQ.19980440105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379628$8A0CE111-7527-409C-B68D-87BA977042DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1d238c3541733019ebf2ebac38076ea56b5677","datavalue":{"value":{"amount":"+0.8311025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$62BC32AD-C6B2-4015-9D0E-F2968FCB30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d649b248972b4e0252c235d31755aa354f2aa68d","datavalue":{"value":{"entity-type":"item","numeric-id":1771203,"id":"Q1771203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beb18a41f59968ae7251ed995385c44a92f3183","datavalue":{"value":{"amount":"+0.77330685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$3AD4DC30-F8A8-403B-9E63-4936E5C36D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350823aa1d64e7b4b83f87f10e1cb162e4cdf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3819063,"id":"Q3819063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31694f4a11fdad093e885e285355e5049c02c25","datavalue":{"value":{"amount":"+0.7697329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$CE838BBC-F967-448D-B615-FBA5B31096D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f54d3b35be5c0a79ccb36d4f1679168b753543","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219b43a6fe53dc7e4d74fcb647dc29ef822ae1c4","datavalue":{"value":{"amount":"+0.7680318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$8D7A7967-1BCF-401C-BFC1-2CF5ECCA95B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ca5d7bb5b727be1de5d72845cf8d93eed70a8","datavalue":{"value":{"entity-type":"item","numeric-id":4985610,"id":"Q4985610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769dcf522cf80905c76a507c04ab18c0af77d2cb","datavalue":{"value":{"amount":"+0.7607995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$138DE06B-936A-4BA5-BEA6-C67F377618D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fed6b18240662fc0674cf2c7da78db6aad6bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c72ffb2df2a1c68994fcfdf56a08fe408e6b445","datavalue":{"value":{"amount":"+0.7583345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$F69DA192-71CA-4B0A-9475-2A3E484057BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7eea1dda7bc1ad781342ac598f4b0fd892328ba","datavalue":{"value":{"amount":"+0.75289834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$E3B57BE4-F01A-41FC-A4DC-796B4C5D4107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baab5a237ffca1bb451c190639d087eabb89d0f2","datavalue":{"value":{"amount":"+0.75154847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$C9E7B826-8239-45A0-BEA1-15B0533C701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf5f8fafe1735d5ebc2695c65ab358718028541","datavalue":{"value":{"entity-type":"item","numeric-id":912092,"id":"Q912092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1535b19aa3d2ac6b4ae2de8dd2010b7194963b1a","datavalue":{"value":{"amount":"+0.7493683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$181CC1A6-52CB-49B0-B093-45EA77B5733F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a79258da2d6d51b102d7210dbf0b42dab313c67","datavalue":{"value":{"amount":"+0.74620795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4379628$33CA3568-46B5-490B-A0F1-F8BAE9EFB82D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4379628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4379628"}}}}}