{"entities":{"Q5586300":{"pageid":7615860,"ns":120,"title":"Item:Q5586300","lastrevid":39617478,"modified":"2024-12-30T16:12:04Z","type":"item","id":"Q5586300","labels":{"en":{"language":"en","value":"Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3304996"}},"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":"Q5586300$5D7A2D5E-775B-4288-91C9-C68F47B7A7ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4828e08f82636386d929adc6b408fa9c972e059b","datavalue":{"value":{"text":"Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5586300$72EFF0FC-9578-4456-8CBF-18CC1F776036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"328f6e72bea8a0f3f63fbac2ba29cb61c8e50a2b","datavalue":{"value":"0192.05601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5586300$6448D755-92DA-4B33-9099-56F2CA60F129","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab027706a4e5bc7beca9796c59bde7a3b309dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1091382,"id":"Q1091382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5586300$5D3EE437-E4ED-4CA3-9F46-346CB3F6195C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"167cea080880a217bbc358a6ba61f6c4459cbd14","datavalue":{"value":{"entity-type":"item","numeric-id":5586251,"id":"Q5586251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5586300$4CECD777-395E-4821-927F-6C7B2AF4F35A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q5586300$1B39EEA7-45F9-4126-8C48-10B3EDAA49E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef781e1794c9cc33ef1f83a736466b6e47b5756","datavalue":{"value":"3304996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5586300$796009A3-875C-41BF-B2A0-B42AF629C783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5586300$D6884809-43F2-416F-B452-20972BC64732","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":"Q5586300$103D1CD4-E70D-43A5-9754-F5990AD6FE9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11f44749c2cd37dec2c5a2308b1f210ea080b81a","datavalue":{"value":"https://doi.org/10.1090/trans2/059/03","type":"string"},"datatype":"url"},"type":"statement","id":"Q5586300$2C5A50AF-6CE2-464A-AC48-37E9C3F180DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9227f99cf9198785748766d867de0a60b1829bb9","datavalue":{"value":"W2600488068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5586300$E18CC3C5-31B8-4C67-A760-848F28476DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"133efa09fe40b9281701437efa6cc256c65393a0","datavalue":{"value":"10.1090/TRANS2/059/03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5586300$6100EB6F-FB6E-4974-B92C-B362B5152D0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5586300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5586300"}}}}}