{"entities":{"Q1948285":{"pageid":1959027,"ns":120,"title":"Item:Q1948285","lastrevid":70194285,"modified":"2026-04-13T13:04:52Z","type":"item","id":"Q1948285","labels":{"en":{"language":"en","value":"Deductive temporal reasoning with constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160221"}},"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":"Q1948285$39778F14-C9EE-49C0-9CA1-7CBB7E0AA8DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02fa96bf454368ad678e61afa615615d761b4262","datavalue":{"value":{"text":"Deductive temporal reasoning with constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1948285$F9F54851-708E-4F00-A2E0-CDC63A6BFCEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673475323679db1b0d691faccbfa9d45d445875a","datavalue":{"value":"1262.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$2BD52A7E-9AE7-4BC7-B02E-C1A4400EE072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948285$AF578A94-9415-45F2-9F8A-A7953490B489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948285$F4895878-96AC-4E7F-8947-6B6F396A6E4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dc63741ccf24ffe6cdd4c30f45d9d6bea59d0f1","datavalue":{"value":{"time":"+2013-05-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":"Q1948285$4327653E-6D3A-4707-B252-3C224C9DC909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$07FCE75D-4C87-4FB3-B230-90308E326D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$23A876B6-212B-4DFA-9D52-A1EDCA914D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$37992944-1FB9-4540-B288-93FCE4354CA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"912ec283eee916bb0b059316b3f1fbea59e6da0b","datavalue":{"value":"6160221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$21A96217-67CD-40D7-BF27-06A7B0074A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948285$20CF774B-311F-4664-9EBE-231DA04E0C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948285$9A96D937-EDEA-4E7F-9454-576591B4B6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948285$1B613FDF-2B06-4FED-AE6F-181C11C6D6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948285$BFA43394-927C-4D23-AC56-48C6421AC861","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"30e253ab4daa4ed6375793e282019cb377a13b84","datavalue":{"value":"Q98283446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$BEE31522-A5AE-4B28-BB03-99DCCB88A17A","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":"Q1948285$9CE96B42-4F15-47EC-AEB2-2D37C7EACA5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc9d5b668f6d623a4b9e8f2ff458cb8403c2ace","datavalue":{"value":"https://doi.org/10.1016/j.jal.2012.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1948285$BD24A6B4-E95F-4889-8949-3E650533A642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e6b67c9957513b1ab4641544fcc33fc0f9bd2dc","datavalue":{"value":"W2072111049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$0EA3BE11-6909-4487-90DF-497C600D85B8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d9d574fccedbf480798dbc8a79f20077516b70da","datavalue":{"value":"journals/japll/DixonKFN13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$FFFC1CB4-EC91-48EF-9882-4F9003A4AC03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6024b8b0e03dd8c4704a933f8bd232768519c083","datavalue":{"value":"10.1016/J.JAL.2012.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948285$7BB22AFF-86ED-48F1-A8FD-013CF0ACF96E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af70752954cce4c15380c99366ad60673472e8e7","datavalue":{"value":{"entity-type":"item","numeric-id":3525008,"id":"Q3525008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1f7c6ed570450026387bfe99ccffe43cfbef6f","datavalue":{"value":{"amount":"+0.8901659250259399","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":"Q1948285$DE88838F-6B0C-4970-86AF-21C8DF1FCAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797e9d957e38244201a70eef64ac794eddfbfe2f","datavalue":{"value":{"entity-type":"item","numeric-id":4221349,"id":"Q4221349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ef582828a111ca7138e24485f847ab71e9ed23","datavalue":{"value":{"amount":"+0.7259071469306946","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":"Q1948285$42CD0937-A346-4555-B846-297F7719B525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3750b180ca53cdc3eeadbab0e339e9aa58d07c1","datavalue":{"value":{"amount":"+0.725907027721405","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":"Q1948285$5D354920-412A-41EF-9DFA-DCD2ACC0901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff51c2568c03172c72627089ad9d85f51249a1e4","datavalue":{"value":{"amount":"+0.7244558334350586","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":"Q1948285$29653931-0C84-49A1-BF33-1664549C1919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f679c773a1e34db602a865a7d7f16d84bf6185","datavalue":{"value":{"amount":"+0.7223760485649109","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":"Q1948285$2BA6E0F8-9389-4AF7-B3B4-F67817680A37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive temporal reasoning with constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_temporal_reasoning_with_constraints"}}}}}