{"entities":{"Q1313962":{"pageid":1324712,"ns":120,"title":"Item:Q1313962","lastrevid":43025180,"modified":"2025-07-17T00:17:20Z","type":"item","id":"Q1313962","labels":{"en":{"language":"en","value":"Proving properties of states in the situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500721"}},"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":"Q1313962$CC09203E-2BB1-4D1D-BE66-40E9F92A0A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2d0f134cf576c0e93c96c8e6ddc5059314737bb","datavalue":{"value":{"text":"Proving properties of states in the situation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313962$599A17A5-0FDE-4147-A365-85E519822AC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1768735c458fd6f9393cfb003a50ada881a4b560","datavalue":{"value":"0788.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313962$FC5A78A3-01B6-45EA-B5F4-64767AB2279F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab5685d10dfcbae8bc639ba45d54ce8b22b512ee","datavalue":{"value":"10.1016/0004-3702(93)90109-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313962$DB61D713-56AE-4512-8C7E-A183FBC91E31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4714652cc08cb68b2723846664c08d59552ca0","datavalue":{"value":{"entity-type":"item","numeric-id":582144,"id":"Q582144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$4AE6B34A-4EE1-4394-8530-D7E6643E4B72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$99D5C389-666F-4419-ABFF-5F23C73BD9CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2370192b51581a9089045828e517d05f104e988","datavalue":{"value":{"time":"+1994-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313962$E5842574-8E38-4F88-89B4-C29CC4793873","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313962$DA35ABC4-7A54-434D-9EEF-B3FB1CE791A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff050857db2f08d8ca5ecd1a5e88ad73d3324ce4","datavalue":{"value":"500721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313962$9F5DE5AD-285C-4D89-B7AD-A3CEDADEC391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313962$526B369E-6A87-48E6-AD72-1778127E6E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd02c0c4cd88bf32f0b507a5c512ad6914c3d82b","datavalue":{"value":"integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313962$743AFF8E-B0A6-4194-8347-D89376FD2B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2600aaba1f819f7d3ad24bab0da3f73740086e75","datavalue":{"value":"databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313962$5F3C7FB2-0F64-43A4-B61E-39213EBB5339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313962$47DC3540-2CCF-46FF-9D36-BF7E7346B50B","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":"Q1313962$78D36FD5-966F-4A1D-913F-CE000704F6C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$EE4F346F-286E-4108-AFE9-2E678A9D1A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e2eb75fcef6ac6f8e7d2f7b7c623a265803e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4028811,"id":"Q4028811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$324BD33F-76EE-4DF3-86BF-503488BD33C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a544e9f07adf34d30eb3f091874b5b0166f7df","datavalue":{"value":{"entity-type":"item","numeric-id":4316298,"id":"Q4316298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$4ECF8F27-E29E-445E-A77E-166E3F558688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b34158f96d60295d877241cec5bbda9c4d9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4369865,"id":"Q4369865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$6F222FB0-D285-42C0-B4C0-F7BA2D45E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13ba0f811f730b749bcf2d3e9785d0ee1e3db5","datavalue":{"value":{"entity-type":"item","numeric-id":5578545,"id":"Q5578545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$0C527C40-1B82-46AA-91D5-68AD8E806745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$1017C7D8-99B4-4799-AEB8-53DC90A76C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe0f3c5bbdd950bcce3562388b558f4a5ecb800","datavalue":{"value":{"entity-type":"item","numeric-id":3330564,"id":"Q3330564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$F79D990A-5C65-4750-B094-1F15EB511715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$8ADC48D6-6F29-47C1-AF18-4F3CF4221F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb36cc314c6133b76696002d821bfa258897a606","datavalue":{"value":{"entity-type":"item","numeric-id":4015954,"id":"Q4015954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$077AB241-0272-439F-888E-411ECFBAAE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc2c2cdcc952aeda9e9887350983fa89cea307e","datavalue":{"value":{"entity-type":"item","numeric-id":3128529,"id":"Q3128529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313962$7955A556-9FC9-456E-B69C-5695283F869B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d624c6706a37e7b952949d11f993dc571f9c4dc","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90109-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1313962$AD29B627-E844-4DD7-A00E-ABCEF27C0153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d3af18cca3357fcb5c9d15bdda18eddf38c98a1","datavalue":{"value":"W1971925101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313962$3143A678-EE42-4EFB-A82C-25F37ABA069E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac61457e75f6d1dd83f912b7dcfe2d66aaa5e67b","datavalue":{"value":{"entity-type":"item","numeric-id":1095649,"id":"Q1095649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3cd4d195d4d9f4fa7a52dc3db81b1f8fff4b75","datavalue":{"value":{"amount":"+0.8740117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$F6DD01E1-EB61-4D11-A2AA-9DEAA18FA56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46493a2d4218dd6f184d9ed9c97fbfab6d22442e","datavalue":{"value":{"entity-type":"item","numeric-id":4941936,"id":"Q4941936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e76bbc23c6827b219979e8a1b30ef13aaa202b","datavalue":{"value":{"amount":"+0.86961484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$1F5E0ADC-6129-4F54-8964-0DB71BBF5506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e17b57bac5091ac42d1f90e0a836aed091ff7e2","datavalue":{"value":{"entity-type":"item","numeric-id":5234719,"id":"Q5234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bad6573432eeab8d6190030f6cda37c6c39128","datavalue":{"value":{"amount":"+0.8666149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$C26933CB-4AB4-40EE-8C5C-42E4FDA40E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9990f4959d9ce43c50250a5b2c9608ed879bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3613341,"id":"Q3613341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b99fe4ee72f5c7fb64b3c09d2e46413c272a65d","datavalue":{"value":{"amount":"+0.8626268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$DA8BA94A-0FB0-4690-92E0-1F486FE21A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780f328abe6331beaef06b7e74845a30e29c2ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3791155,"id":"Q3791155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb0efe59f28cb98dedae631680b0198ae52d47f","datavalue":{"value":{"amount":"+0.8576686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$3EF83A5A-2042-47D1-97A6-A9283D86A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7db150c4f99d2a0e37d495f9a1478d4b238ede0","datavalue":{"value":{"entity-type":"item","numeric-id":991025,"id":"Q991025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17ff39cc3581240e5c3f6facb16b739e785ea63","datavalue":{"value":{"amount":"+0.85719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$42058F04-B25A-4DDB-A8D7-19101353DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3b25e5c4ac570c49b7dda89720405bc0a5c960","datavalue":{"value":{"entity-type":"item","numeric-id":2848468,"id":"Q2848468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40fae479483726b13e543fc78ed8104c963d077","datavalue":{"value":{"amount":"+0.8547836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$104E3C6C-6EAE-4CDD-AE08-F7610B2F2AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b86df24e6d3e495f5e8e4e4820f0cc7e60391a","datavalue":{"value":{"entity-type":"item","numeric-id":4247256,"id":"Q4247256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be30c5402f70bd5a3c76f0a76ae8a3783223525","datavalue":{"value":{"amount":"+0.8484204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1313962$FC3A7AC6-27D7-4311-8584-D3B2B41C1BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1313962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1313962"}}}}}