{"entities":{"Q1001355":{"pageid":1003203,"ns":120,"title":"Item:Q1001355","lastrevid":66545256,"modified":"2026-04-12T10:51:11Z","type":"item","id":"Q1001355","labels":{"en":{"language":"en","value":"Knowledge representation, reasoning and integration using temporal logic with clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5508667"}},"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":"Q1001355$18327F5D-DEBB-4729-B45A-9A22D4DC57F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c862c4dd38bfb787167b0c17b5d8caf597cc451","datavalue":{"value":{"text":"Knowledge representation, reasoning and integration using temporal logic with clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001355$D7CD9339-B42C-4E3F-B17A-F5BA52135CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dfc59be5a0046f4f5f8d1824165f8adb0a1f5f5","datavalue":{"value":"1158.68502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$23F617CD-3C30-4EC9-B6D6-67A3667557EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"968189839c7fc279d65671c9e34dac7d45d8cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":421349,"id":"Q421349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001355$C1F2D897-8ADB-4866-B75D-4600FC67C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423aaaea945358c3594d8cdb3982b96fc4d8bf5","datavalue":{"value":{"entity-type":"item","numeric-id":456707,"id":"Q456707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001355$D941AE56-DEF8-4EC6-93A7-5920AD315DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3978d8ba9e685635ddb206612e7a7bb2e9a65d08","datavalue":{"value":{"entity-type":"item","numeric-id":421348,"id":"Q421348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001355$594250CA-9A7E-464A-BD4C-B54EE1B1199A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001355$3975E355-CBD3-4009-A86E-F53CC9FE7F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8f9771f54c3b7062e47ad7ecc3cf21334f03880","datavalue":{"value":{"time":"+2009-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1001355$1894B637-A035-4996-B666-F50EDCE6E3E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$76329DEA-114A-4C4D-90EB-0D0A18727B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$622EBA78-B0B9-4216-A193-2BDE7A53B88D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236276a3c5eebe32ae4a43c0e5b6b673a2ed1096","datavalue":{"value":"5508667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$85D4E7F0-6EAC-44CD-B6D8-1DCDEA9AB881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58772d22b8b4462fe476ea4adf6d6f5b9a220405","datavalue":{"value":"multiple granularity of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001355$9374523D-582F-4445-A9DF-5793FD6126B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001355$39E87242-6463-44FC-BB1C-416D7890E8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d8675b31404a0f04e2b3097e5b1029acabf63b","datavalue":{"value":"temporal knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001355$1EA6AD98-20B5-4BFF-A554-83D86B218154","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18bf13671b4b3f2c904476a7461f9dc6d4bd1769","datavalue":{"value":"Q58185140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$1B439F0C-3835-477A-91F3-47BAEB183BD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001355$FC3B2CA3-3931-49D0-9807-B0534306EE23","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":"Q1001355$FCC36BB8-366A-4E66-97E6-C9B64E097809","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a565432fc5fb37458800fbb690e32f4a2a31846","datavalue":{"value":"https://doi.org/10.1007/s11786-008-0048-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001355$62452488-7D1A-4B1C-9B1F-0D26B3BA1956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73c00ad9e6e367dc440e9ca339f18337daeffc4e","datavalue":{"value":"W2121428298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$CA66E792-E3F6-436A-9B1D-02950CD1D469","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1718d9eb24c27ac8d9a9c15c6e4da8de55646b23","datavalue":{"value":"journals/mics/OrgunLN08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$936350B3-C8C6-47F3-A992-82BF6B01B9C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3038d0bcebc1eb0a4380aa61da10f419406de32","datavalue":{"value":"10.1007/S11786-008-0048-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001355$3BB06A99-9084-4722-AEBC-298467FE30E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace0b7f5aa2dffdede75130c98ad166182a1e220","datavalue":{"value":{"entity-type":"item","numeric-id":5688917,"id":"Q5688917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821852acb9f3a8111869b14240c71adf5c0c8f49","datavalue":{"value":{"amount":"+0.811945915222168","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":"Q1001355$4E7C7C72-5462-4E79-87C7-CCE6CAF75DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73a8a975f01af7728d256fb1e4e0e2c99384e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4400883,"id":"Q4400883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a460ef7a1bd6408df647bb512f563df6b46a84","datavalue":{"value":{"amount":"+0.7573381662368774","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":"Q1001355$251AAEE1-16F8-4712-910F-3AF73D4EEAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dddc7c47a792935a44b7d83aa0488c649f55e7","datavalue":{"value":{"entity-type":"item","numeric-id":1601842,"id":"Q1601842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565dd7af934902d3b881a3f2d5cacb487e68becc","datavalue":{"value":{"amount":"+0.7401434779167175","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":"Q1001355$9D499CA1-2213-48EA-94CD-DB1158AF7CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74473a30601d679272b3f7c23d5207effd1eee0d","datavalue":{"value":{"entity-type":"item","numeric-id":4935388,"id":"Q4935388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65049d068ae827a91ca1e53e4fb8f2320118db6a","datavalue":{"value":{"amount":"+0.729797899723053","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":"Q1001355$4C16DF41-2E24-49BF-8B8D-4783863D2EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f328d781193e6edb5b0037b16d382a2d128305c6","datavalue":{"value":{"entity-type":"item","numeric-id":5943344,"id":"Q5943344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695f5c473e18d90a670acbd039f4ecbab1e8d660","datavalue":{"value":{"amount":"+0.729124128818512","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":"Q1001355$7FD7CBD4-112C-45DD-B633-6B2D4C0DE185","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knowledge representation, reasoning and integration using temporal logic with clocks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Knowledge_representation,_reasoning_and_integration_using_temporal_logic_with_clocks"}}}}}