{"entities":{"Q5829786":{"pageid":7859337,"ns":120,"title":"Item:Q5829786","lastrevid":34488391,"modified":"2024-06-11T15:42:13Z","type":"item","id":"Q5829786","labels":{"en":{"language":"en","value":"Improved decision procedures for Lewis's calculus S4 and von Wright's calculus <i>M</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3090965"}},"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":"Q5829786$27950568-0511-48C0-AD50-8DB411FD7828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72a3e82949eb7d51b1cff51c692b7f2c4ca80752","datavalue":{"value":{"text":"Improved decision procedures for Lewis's calculus S4 and von Wright's calculus <i>M</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5829786$A54198AD-C85D-42EB-A30E-E5287633DF21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37de45e9b774a0db2cc576a57db8ca7a67942f4a","datavalue":{"value":"0057.00803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829786$8725EAAA-BFFA-42A5-BECC-EB551D292597","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24f6b4ca507bec0e6c17b3563b8011a804f20ca3","datavalue":{"value":"10.2307/2268619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829786$C1FA3896-E4CA-46A2-BA11-23844F9C4F84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829786$E6A2783B-3504-4F4A-B0F2-C914A224223C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56348066cef9a6564d6422c03dced9a9318216e","datavalue":{"value":{"time":"+1954-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":"Q5829786$CEEBD413-CEE1-4AFA-ADAB-8E125C1200C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"695897e132eb00557d69fb9b8db85089ffb4a438","datavalue":{"value":"3090965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829786$8C2FDBCD-AB29-4831-B05C-4F1188AF4B28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f88f841e32230577912b041166dc22acf2db95d","datavalue":{"value":"Foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5829786$4BB980A3-1B43-4B08-A3A2-B25230C2689D","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":"Q5829786$DA42CD7A-77BA-47C3-B143-3E43694D67EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a715675b82926a4b085a2822b360952c38c7a27","datavalue":{"value":"https://doi.org/10.2307/2268619","type":"string"},"datatype":"url"},"type":"statement","id":"Q5829786$383E5B4F-4798-42C0-81A6-65A11C5872A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35f174bb10915f5ab663ac7ffbdcabe61ba46854","datavalue":{"value":"W1974296196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829786$BAD9ECE3-53D1-4949-966E-9E920AEA7096","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9f160a449ad08e11918d94d536d842bff4ee6e","datavalue":{"value":{"entity-type":"item","numeric-id":2649308,"id":"Q2649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829786$713DC455-AD05-4DC1-9535-C8C230686F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829786$CB84D7F3-A026-45AD-8CC8-DC49BBB72661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bcfdc9afb1ebcba4e63340e62de13d12be617c","datavalue":{"value":{"entity-type":"item","numeric-id":5776903,"id":"Q5776903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829786$106857EE-8DEF-4CD1-87E6-BDD0D1BEE309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5829786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5829786"}}}}}