{"entities":{"Q1132083":{"pageid":1142832,"ns":120,"title":"Item:Q1132083","lastrevid":42899630,"modified":"2025-07-15T20:39:32Z","type":"item","id":"Q1132083","labels":{"en":{"language":"en","value":"A completeness-proof method for extensions of the implicational fragment of the propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3652302"}},"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":"Q1132083$3F1B5198-7EA2-4059-ACBA-A5786FA45616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc0a0cb313a230fbefa766321eeb21c27459535","datavalue":{"value":{"text":"A completeness-proof method for extensions of the implicational fragment of the propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132083$32D1981F-CA97-4647-9E99-E2F547A246CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba79c692e7f472b03077c83657dd715129b8e1f0","datavalue":{"value":"0419.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$D3D44255-31A0-4B8F-AF35-26F260A27FA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04895740d3b209cbeb5e6504f0c2ecece3635033","datavalue":{"value":{"entity-type":"item","numeric-id":185584,"id":"Q185584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132083$EA095CFF-1F26-485C-8CFF-A7C5CAE5BC8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132083$DC7C5603-96F6-4BB1-8DA0-BD64AAA75775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1132083$0D6B4698-DE83-482D-9AEA-E83888E4205D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$B06EBB92-4CA3-400F-9720-0BBA1DBB970B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$F2043ACC-D250-415F-A3FF-7C677383E353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$28298BE9-99F5-4DF4-AB56-E206663D3051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$650C5D75-B4C7-4E52-B102-C48C7EA2D53F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63939eab6bbb2e4dc090e1065ef51d2b8ff61caf","datavalue":{"value":"3652302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$AB6919FB-22EF-453B-B229-6280A50B313F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f27fd5d062fad9f8f2e0ed65b4d3d659b616d4","datavalue":{"value":"extensions of the implicational fragment of the propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132083$439A0F70-68FB-49F8-B408-AB56C3DA462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"389d6a76436dfbeeece6e30738211b5a5557b881","datavalue":{"value":"completeness-proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132083$39CA2D06-AF51-42F2-87E2-4F2221149E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132083$6998D068-1BC3-4CF6-8F50-CB53EB0B2CAB","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":"Q1132083$2C3B7E62-F1AB-4142-9483-2A23F2D1B139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb979d8b472790d0e26a100e7be59033f58ca7c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1132083$8F46084A-8271-48BB-8BC3-AC78F2F7065D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56c5fa6377240da5f3260f9e44a57ff96477f9d9","datavalue":{"value":"W1991261648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$70E3E2DA-704F-4FA1-AEBC-F75599FE37BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c829d7dbb5f28d3c9861a9611b565ac415ecf18f","datavalue":{"value":"10.1305/NDJFL/1093883174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132083$E9A759FA-E213-4F92-B622-D09A7C44921B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1132083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1132083"}}}}}