{"entities":{"Q5236442":{"pageid":7266010,"ns":120,"title":"Item:Q5236442","lastrevid":53556593,"modified":"2026-01-25T06:58:14Z","type":"item","id":"Q5236442","labels":{"en":{"language":"en","value":"Temporal reasoning over linear discrete time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114578"}},"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":"Q5236442$86B7BBBB-34E3-43B4-A0C2-24451D8AC7AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f667482c749cdc195affb0ef403781ae2ba8dfe","datavalue":{"value":{"text":"Temporal reasoning over linear discrete time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236442$61C6C4E7-C798-4A00-AE8D-2C1C5654A73A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f67bbb736789622d5556e49e122f2c39c8fa34a2","datavalue":{"value":"1427.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$1AE98716-F577-422C-B994-8379D66EF974","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb41372a0e184121c5db71eb6e956fd0da626758","datavalue":{"value":"10.1007/3-540-61630-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$20C13F26-BE22-4E72-B1A1-EC933A2362EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff32224c7d2c96e63ff47a0b7d8e4fdcb1aa7b3e","datavalue":{"value":{"entity-type":"item","numeric-id":246589,"id":"Q246589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$D5660D15-979D-4CAF-8290-7FAD551FFC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b732f75efe43087ba219113407f9e1b85ab165d","datavalue":{"value":{"entity-type":"item","numeric-id":4860650,"id":"Q4860650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$C6917165-516F-4B1C-AFF2-AC0281DD6827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$350F2992-7626-45EC-8C14-48C4CDA756D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$1324A572-C735-45EF-B61D-213C69D295D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236442$A16C921D-0740-4AD8-9824-AC8987F27529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$91D91E7E-7F22-4AD1-AC3D-C8C79E3E313D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$D14934BE-8797-4EA6-A1D2-6F9CDE123FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$A6147CB1-0A66-47FE-881C-672EE15EB918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d95d3c35ab5b7a929e86f7ec50685931e459a6d4","datavalue":{"value":"7114578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$05806905-5B98-4DFC-B510-D1EFF11F1C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236442$420AC210-FB10-48A3-9F6D-BFE23E8DDFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236442$26873E25-7A60-44A8-8976-1F28998D7B3C","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":"Q5236442$250D2FC1-3FBB-49F5-BAD0-D3F557D11EAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3bcc0fe62ab5fc315d5d284e3f94cf641630a21","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236442$0C380376-BF28-428A-B037-D3BEB2D392CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f2cb8f48105bc190764a89546aedc3a00c56b3e","datavalue":{"value":"W1558013152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236442$932C4C54-54C9-46EC-B163-D2FF958F4243","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747d10da3351289d1b17c903ad4959bea6af896","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$4135351E-274F-4BD2-84F1-E395B57D512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$A74BCEBE-2402-45BD-9D0F-D21C51AEAEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daff44ab6b051f1b9c5e4c236c6025ad68e6aca8","datavalue":{"value":{"entity-type":"item","numeric-id":4537438,"id":"Q4537438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$D259FA86-E072-4FCD-983A-F3DED69E36D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6958827280ccb24b19e775dc455e3c100aecadcf","datavalue":{"value":{"entity-type":"item","numeric-id":4835513,"id":"Q4835513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$B89BA4C1-454D-43BF-9CF4-01E44EF21E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787a9bae5c40eabe77afdec3b8ee7b3f27839adc","datavalue":{"value":{"entity-type":"item","numeric-id":5202172,"id":"Q5202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$64B5F06F-0EE1-4CA8-9FE6-EF055DD12589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f2bb30baf813e6df9e761521cb58e57d6d331b","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$A806D2B2-D8CB-4E83-BF0D-31D921095A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$FB69E0E4-480F-482A-80A7-806BFAB0D5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$35E1195B-E009-4D74-A2AD-4478DB89264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3879ee60597c3a81e5748d390acbacdd09ab49a","datavalue":{"value":{"entity-type":"item","numeric-id":4518443,"id":"Q4518443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$90F39E1B-2CC8-4DA8-8F09-FE5058C3FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea0581d2439bb289846f7c6b6aca9829dcea6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$FBAEC7BD-01C2-4EC4-844A-60E4C6453EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236442$0321F5B4-74FB-424A-AE0A-95398B83F2ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc58a2e8732486f376d16a874373da788fd080f9","datavalue":{"value":{"entity-type":"item","numeric-id":4537438,"id":"Q4537438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f3ad17c46b8e1adb37ad01db4b6b14d0f09642","datavalue":{"value":{"amount":"+0.7850257158279419","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":"Q5236442$B3CB14A3-BAAF-41F7-A98D-E85AFB207F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cc1ea5b7e5002bbf92c6fb2128ebdd9cb4d459","datavalue":{"value":{"entity-type":"item","numeric-id":4835513,"id":"Q4835513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afaa455bd391d7749c098692d7c6d4b739020c6","datavalue":{"value":{"amount":"+0.7685733437538147","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":"Q5236442$12511248-80D9-475B-8691-A1EFC5FC11D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf7a644b08d7c001a3fe3ea470daca0cd6400e2","datavalue":{"value":{"entity-type":"item","numeric-id":4246976,"id":"Q4246976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97221300444d615b7825ca2815bb53022a9e53af","datavalue":{"value":{"amount":"+0.7646099328994751","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":"Q5236442$C5E0D394-F0DA-4576-828F-BD3CF7F7B3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7edb664b4f0d170162b6f506479a42b06b7281","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16403ec24045292c0f85f73f85ee2fcd4b8b1efc","datavalue":{"value":{"amount":"+0.7641138434410095","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":"Q5236442$117CDFA6-0491-4A43-A6D0-45B1F663042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9253735b839ce795f970d4a53f6d1e9baa9737b","datavalue":{"value":{"entity-type":"item","numeric-id":1978028,"id":"Q1978028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ee57545576d1e489c3b7f5cd4abe35270c6462","datavalue":{"value":{"amount":"+0.7610646486282349","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":"Q5236442$A26FB4BF-1403-4FCE-8900-F5A0BF8FDC85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236442"}}}}}