{"entities":{"Q3967516":{"pageid":5997421,"ns":120,"title":"Item:Q3967516","lastrevid":55122016,"modified":"2026-02-03T21:19:18Z","type":"item","id":"Q3967516","labels":{"en":{"language":"en","value":"On the Decidability of Propositional Algorithmic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3790405"}},"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":"Q3967516$28C97435-DB01-4A1B-85FB-923AB15A6899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d04940f2f445d76d66786cdedd354b445943f51e","datavalue":{"value":{"text":"On the Decidability of Propositional Algorithmic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3967516$2C44376E-4A92-4934-8926-2377C5F54C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ec60211db78ba48cd1328aee01e405df24ece33","datavalue":{"value":"0502.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$C4309A38-D715-41C5-A656-0AF383237775","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a81ee3d22f4d6472094917e6f4d497a318f69849","datavalue":{"value":{"entity-type":"item","numeric-id":529039,"id":"Q529039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3967516$182FB101-782D-4BDB-AC8A-EAED487B1649","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":"Q3967516$941600D1-618A-4553-B900-27B0AC5A0184","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3967516$F492FC14-8C63-48AE-A106-C613D08C982A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$CA47DADF-D9AD-4983-ABCC-981630D1C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$32A3E547-315B-4D80-8B54-CC28FB7E31AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02a00c77e8686e0c00f17106221b515991a7d871","datavalue":{"value":"3790405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$C256CD2C-7970-479B-B756-077EED11FDDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$D9674B8A-0D1E-46A3-878F-84E76865646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$731B74FB-EF0D-4BE5-8DCF-B119EECFA402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$2F87A71E-3B9F-4D32-9E82-998FDFCA55ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffad059fc3b41cdbd897044f47e5095fc568202","datavalue":{"value":"PAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$B551CC23-868C-4FBB-BD19-583EFA6025DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$3DD0C4FE-2367-4296-B9F4-543F31FB0DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$E705BEA1-6F9D-4CED-A444-B2D189CFD405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3189a9f5177ae7d24952985ad62a840ad5251569","datavalue":{"value":"Gentzen-type axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967516$66401426-B88C-4A1A-9955-41450962B363","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":"Q3967516$1F91BF0B-F789-4CEE-BC4A-CC4A21EA8789","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16e6097670df56d0991aaffd57166e74e126ee17","datavalue":{"value":"https://doi.org/10.1002/malq.19820281409","type":"string"},"datatype":"url"},"type":"statement","id":"Q3967516$337914F2-F3EC-42A7-92D7-1DFAF52ACD58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b0c299d1ce4b3800b2998789e7cf586b3eed8e1","datavalue":{"value":"W2048289337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$14B3F2A5-08D1-443C-A061-EF8163036848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ed57056667324abae0a5291a2eb7811c7cda3e","datavalue":{"value":"10.1002/MALQ.19820281409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967516$9D0C9A6D-B31E-4D19-BBE6-8C41946018A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3967516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3967516"}}}}}