{"entities":{"Q1072539":{"pageid":1083291,"ns":120,"title":"Item:Q1072539","lastrevid":69571923,"modified":"2026-04-13T07:55:21Z","type":"item","id":"Q1072539","labels":{"en":{"language":"en","value":"Deductive capabilities of negationless predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941497"}},"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":"Q1072539$CA772556-EC7D-49F3-AB5C-BDCAF738A27B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e920a8888b19c1324850ffaeb34501a50d62556f","datavalue":{"value":{"text":"Deductive capabilities of negationless predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1072539$72CFFCB6-881F-4D04-BC57-49492B47E39C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b8ae62123b8f8fcc1785fc9ca15c658c6d7189","datavalue":{"value":"0587.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072539$001A33E2-AD93-417A-8E67-799B3BBBE094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072539$04525711-BA99-40A0-9B83-81F735A4AFE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1072539$E1CD6376-621A-4F03-AC5D-4DF753D9BD8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f17ebe49560c768320b726636fd5375f5465e05","datavalue":{"value":"In the paper deductive relationships between selected negationless predicate calculi are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072539$9387DA2E-C156-4ADC-B3C3-DCDAFD6312A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072539$1554611E-6D9C-42AF-BD0A-5D30B77E8BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea931b21abb1b948a5ee9f25416394b48638e302","datavalue":{"value":"3941497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072539$B7E8DCF9-56E2-41FE-AD5C-53B1009DFA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac676db1ea990c5d9c83fd320b5567e9bdf3dbb","datavalue":{"value":"deductive properties of systems of negationless intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072539$EF141FB8-3D58-436E-9E56-8B7B7BFB1233","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8df4cb13a509b9920268449820b6d1c56d9fb","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072539$5365C1E7-C849-47B8-B0B2-1D797EC721EE","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":"Q1072539$2BFCBCB8-346F-4DB4-8A56-3CA1168F807A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive capabilities of negationless predicate calculus","badges":[]}}}}}