{"entities":{"Q636377":{"pageid":638225,"ns":120,"title":"Item:Q636377","lastrevid":63168393,"modified":"2026-04-11T11:03:54Z","type":"item","id":"Q636377","labels":{"en":{"language":"en","value":"Logic for update products and steps into the past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943659"}},"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":"Q636377$55A37F31-0544-4133-9728-EC345F1BA690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2baee30b6aacbfc739d8f5f1adef6857662b7287","datavalue":{"value":{"text":"Logic for update products and steps into the past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636377$35987AB8-7649-4E11-9935-88B6522D8D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"477329d48eec1baa50161d0b1b38ea5d263454f6","datavalue":{"value":"1225.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$C3B50B52-1D50-4A08-8C56-5E47FC3C0896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$25BECF3B-3C0B-431C-91B8-ABD6D3ACAE5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$55E24F9B-632A-4B68-98A0-D6D2BE2F4AA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636377$61B12D70-0366-4FA2-BBA5-937784D0CB2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$C6038DA5-6D07-4260-996B-DE47D964AE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$2D110371-0F13-4519-8BF1-7DF36A39CED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$93BDB5FB-146E-4F0F-9218-834AC5148FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$C4A037A7-C8A2-4BA8-A599-D5D8C76B7915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4eff9db3c1acbb1dd2f95790d07a21e0db0fb9e","datavalue":{"value":"5943659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$3245A3C6-5B00-4897-B385-353A9A7C202C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q636377$039CB5FE-EE01-4C6B-BAC4-60EEBFD3B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q636377$D3E5D6CF-82AD-42E0-8505-565CEA2746A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636377$FCA16CE6-6F22-4D88-8220-7A14BFF051E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636377$28926CEC-2630-4380-BBF8-29C59D8A242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636377$5D45DF70-4B38-42B9-AFCF-F087F87D66EA","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":"Q636377$0A032FF0-328B-4E79-BC48-2E5365C9BA13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"485b5f3389a827d08089a99540712c9d036e1cb0","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q636377$FE00F5CC-2DA9-4616-BCB1-1C369CECCCF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52052da2e1958d57ff968d8ee1ef03fb1a46994f","datavalue":{"value":"W1989932007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$4630E8A3-1681-4F69-A4BF-B99406770937","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$C7A7DF34-2C44-4605-B7E3-ACB617C30B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$B2BEE19E-0334-4F53-AEB9-B060B630B16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$348B6C46-748E-4894-918E-0B2A92ECE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$FEF1C9AC-4E1F-4A44-B51B-5A82B5365AAB","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":"Q636377$DB73E98D-B4AA-4E1E-B959-AD8AA5B749F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$B7882F5F-3495-4018-AB56-DA19695B1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$ABC83A26-685E-47E4-890D-C90F21187E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8effbb9d985ea94732e812d2a84233775020449","datavalue":{"value":{"entity-type":"item","numeric-id":1036059,"id":"Q1036059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$D2F3A63B-847B-48DB-8A54-3DDD4E2A8424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$4B799BC7-B64F-4CF5-9C30-A6462BEF9026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a672f2c82a7432122b1a6f91d9c82a292f3876","datavalue":{"value":{"entity-type":"item","numeric-id":3655234,"id":"Q3655234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$4AEB2AD2-A8EB-4B4A-8F45-041C6B1D5929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e280e14559ae506dc9a6928489b0f1fa787fe34","datavalue":{"value":{"entity-type":"item","numeric-id":1006494,"id":"Q1006494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$79B52718-5BE9-4CBD-A0F5-B905C10EC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126b5bccfcff13daf1222913ebc634c215818be","datavalue":{"value":{"entity-type":"item","numeric-id":1036062,"id":"Q1036062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636377$00C72895-A321-4E4E-8B83-917722E7E8D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"938ec1b0ad6d4fc573f0c0dd376700f397e7d98d","datavalue":{"value":"10.1016/J.APAL.2010.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636377$3C4CC952-3D43-4DC1-BF7A-5C17BB998DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f1542eda8640c9cbd23ce7225894d203ec5aba","datavalue":{"value":{"entity-type":"item","numeric-id":2902940,"id":"Q2902940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa2bc2287e1b0a7e5ee2aa6bcfa908f90a62517","datavalue":{"value":{"amount":"+0.8039482831954956","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":"Q636377$EE0C90BF-2192-4AD7-BBFF-D0DDB85AD5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181416d956c05e98163e8a416aabfa17aa5b079e","datavalue":{"value":{"entity-type":"item","numeric-id":1036059,"id":"Q1036059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5248d38bf6d02848acf94a5fd43fb40330f824","datavalue":{"value":{"amount":"+0.7821659445762634","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":"Q636377$8A19B351-3685-4C62-B808-AF72980EF6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eecd8149555cd54a1fc777f99ee0e475ea0f95","datavalue":{"value":{"entity-type":"item","numeric-id":2825404,"id":"Q2825404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a36ac032c349537739e3c788e055d4d86e2f8a","datavalue":{"value":{"amount":"+0.7625835537910461","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":"Q636377$77EF8625-35B2-40B1-925E-822C4F22D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198f4708fd8be5eb602d3f73ca5e176ae3032e68","datavalue":{"value":{"entity-type":"item","numeric-id":1006494,"id":"Q1006494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a43f88b46c39e6c0adc802a03c3f90890a66c2","datavalue":{"value":{"amount":"+0.7452220320701599","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":"Q636377$C10E5A82-4D16-4FD9-98AE-DBBBCC835D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efbbc36b9d91a820558fe330a8c1a16a8e53998","datavalue":{"value":{"entity-type":"item","numeric-id":2957972,"id":"Q2957972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3dfefddc3552fb2844b21949dd1173db21ade3","datavalue":{"value":{"amount":"+0.7395780682563782","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":"Q636377$D3566400-9FC7-45EA-9F28-A912EDD9D49A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for update products and steps into the past","badges":[]}}}}}