{"entities":{"Q991025":{"pageid":992873,"ns":120,"title":"Item:Q991025","lastrevid":65728173,"modified":"2026-04-12T04:58:40Z","type":"item","id":"Q991025","labels":{"en":{"language":"en","value":"Property persistence in the situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5777575"}},"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":"Q991025$7297EA07-432F-4A27-A49F-63DF79B62152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51dc165951213733246c61516a48d1275090d11","datavalue":{"value":{"text":"Property persistence in the situation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q991025$D7A3ABAE-D769-4CCD-A077-AFA39C353753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"498a3800ec9a9ec95de6692bf43f89f9ab458e16","datavalue":{"value":"1205.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991025$250C8018-2068-407A-954D-BE83FCA4E4F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48402eeb516755c53842789408906cde246fe219","datavalue":{"value":{"entity-type":"item","numeric-id":991023,"id":"Q991023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$A814B958-69E2-452D-B1E6-23D92194B75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe06416c9ec5ba8035e18ca38a83ccc3b15686f7","datavalue":{"value":{"entity-type":"item","numeric-id":991024,"id":"Q991024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$C3D2BFAE-1F45-4CC0-9433-A397A4607F2B","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":"Q991025$56C0FBE1-BA4E-4953-A8AE-85B68AD06179","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q991025$67B4F826-2DD2-47F4-AAFF-76B31F1F9892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991025$F1E824A0-BA58-4941-848F-0B561FC862BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f81befa765cd1d65a005d1a35393bfa412cff2e","datavalue":{"value":"5777575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991025$D0433F05-114F-4841-B10E-4E8F041978F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q991025$F58BCB63-F3E5-4D45-8825-DC19FCC9DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q991025$03B206E6-1996-4093-AFCB-7E77CCDA9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63532dbacf83253e8799a39822d30a09198b1f1c","datavalue":{"value":"property persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q991025$CA927FD5-B340-4DDD-B993-7403F680318F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$67FD6F32-DF78-4865-B988-D66E54F690E8","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":"Q991025$842559B0-1E82-4967-8A16-20541BF389AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3815295c724f93e644c2455486cf1e3f6fc62663","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q991025$286BC22A-513A-438F-A744-BC441D452A08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"001e9c337f1eb806c4bea941869135f6c23517ea","datavalue":{"value":"W1995136447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991025$391FCC5C-1C24-4FA0-B9AA-40544A1E4A58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed12922875eec719d372f05af7507c9beb4c4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2999222,"id":"Q2999222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$15256179-0E6D-4149-A73C-73BEB895FB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$5A7A1FD6-CAC3-477C-BBAC-4452BE0AB180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc0cb02e990bb9233f129466ce011b2ab533532","datavalue":{"value":{"entity-type":"item","numeric-id":4230719,"id":"Q4230719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$F8F03655-A024-450B-8CAB-8BFEF6ACF9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268f84c54b228a2370f8fa74545be14043b2eea7","datavalue":{"value":{"entity-type":"item","numeric-id":5740443,"id":"Q5740443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$D7CF571A-BA7E-499B-942D-D115D0FAB4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$80E78BFC-7578-4220-95A4-478567778E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf9ee3e970b583d013252a32a839a47269a2cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1274278,"id":"Q1274278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$A8BAC4D8-0BBE-4529-85C7-178B52CA5259","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":"Q991025$8C135E8E-44C9-43C0-AE92-25A84F0539F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd47987217bd889828e760fd7d9ac44edceb361","datavalue":{"value":{"entity-type":"item","numeric-id":1402735,"id":"Q1402735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$15BB1DE0-62B0-4DA1-ABE6-65AB051894E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4a3047706084697b2f262a64177234593364dc","datavalue":{"value":{"entity-type":"item","numeric-id":5740449,"id":"Q5740449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$47AF4433-1D27-488A-ADBA-AD867905E8B8","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":"Q991025$F8A243C3-CEB0-4550-98C4-F0C74609C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d936981f194fb5fdf212cc4e3d60028bd3f7a9","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$FE584666-82CE-44F6-9B1E-7916C3485EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da67a78ed9b694ac72ccc690d475182cfa64e9","datavalue":{"value":{"entity-type":"item","numeric-id":1313962,"id":"Q1313962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$93938D5F-FC67-4D35-8D0B-CEF023F00763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$CCA53820-0417-42C4-9940-6EEDBED2F919","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":"Q991025$A695BE79-2386-4936-AC01-6E3687A5F56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13f2e951fb0b45845e62486ac5957cee1141da","datavalue":{"value":{"entity-type":"item","numeric-id":596477,"id":"Q596477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$99A3B480-F207-43F3-81B3-5C77007A8E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46484fad21f062ffbcd3986a0441aaa37158f03","datavalue":{"value":{"entity-type":"item","numeric-id":2457629,"id":"Q2457629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$F82B9319-8C39-4CC2-8E38-BE2A5BC764AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6ed2f0fd28cf192ae55cb0f4c8a95d71fd6c90","datavalue":{"value":{"entity-type":"item","numeric-id":814427,"id":"Q814427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$193DF80F-7309-4293-A6E7-F13B78976D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e936252766823946b31698155c4e9b57f235ef83","datavalue":{"value":{"entity-type":"item","numeric-id":3509047,"id":"Q3509047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991025$5E06A9CE-0749-4ABC-88E3-A5663B9D8233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b184186b5586d48c73c085a436b79469904a1063","datavalue":{"value":"10.1016/J.ARTINT.2010.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991025$61FC99E4-D589-4409-A22D-1C857B548EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c6ce01cfd6012755942f0b3e9dfbe51437ace8","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2860cee7e54be41de1b5b74c2395b3e52d3051c3","datavalue":{"value":{"amount":"+0.7553409934043884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q991025$B0833AD3-785F-47E9-B9B7-8A765F02A378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6adf7828558ec2e5e0c8a1fb15e84d92f35d08","datavalue":{"value":{"entity-type":"item","numeric-id":1313962,"id":"Q1313962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa3ee1263f2a0994bc1ad39dbfa846b5f9ccb69","datavalue":{"value":{"amount":"+0.7439264059066772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q991025$D4C7C1FA-4E7C-4748-BF50-E2A43D15D974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8c1f389caead6e60bbf8da0d92a1cc0373c6a7","datavalue":{"value":{"entity-type":"item","numeric-id":2457629,"id":"Q2457629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886ace01c1fd55c137f88ec2643919407c0d0e91","datavalue":{"value":{"amount":"+0.7428273558616638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q991025$6EF585A9-0650-4F09-A385-D1689DE2C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57fdfeebb8f65f96c129e77a02e6adf58168fc6","datavalue":{"value":{"entity-type":"item","numeric-id":543586,"id":"Q543586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e331477d6f234fd9ecf01c3b6c58172f734560","datavalue":{"value":{"amount":"+0.7380160093307495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q991025$EA9F1937-CF13-4B88-8494-5B7C571C2A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79831c0da0e2546a90f801fa80d6f8be21da33ea","datavalue":{"value":{"entity-type":"item","numeric-id":4012172,"id":"Q4012172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f897c6e7c6ec930f1419be26c9c404fb6772aa1","datavalue":{"value":{"amount":"+0.7256343960762024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q991025$47BC37D5-BBE7-448F-B65F-6CA68F89AC8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property persistence in the situation calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Property_persistence_in_the_situation_calculus"}}}}}