{"entities":{"Q679341":{"pageid":681190,"ns":120,"title":"Item:Q679341","lastrevid":63433272,"modified":"2026-04-11T13:07:03Z","type":"item","id":"Q679341","labels":{"en":{"language":"en","value":"Dealing with multiple granularity of time in temporal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002414"}},"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":"Q679341$6FD0C53D-74C0-4798-A204-0221E376F44E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1877165c906d93fb969ced4b611910fae60163c","datavalue":{"value":{"text":"Dealing with multiple granularity of time in temporal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679341$CB4C0427-FBA4-48FA-A081-EC6C0C981A14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9dfc7f8677f462ab8739c57e748c1c6bbfdee8e","datavalue":{"value":"0867.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$6376437C-1873-4BB5-8090-5138DBC20103","rank":"normal"}],"P16":[{"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":"Q679341$9370512A-2B9A-4883-92BA-AB4FC6850963","rank":"normal"},{"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":"Q679341$9000A5C4-8873-450C-9172-943AE9168408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679341$B3F47F95-C956-44CA-9FEC-F3AB5251F9F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679341$2116EE1E-2B7A-4B7C-80E7-870916C54F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$7BD87B42-BE6E-4379-9370-D20458171584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$EFEC125C-8CDB-440C-B7F8-4C4B1C49BFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10a94a4a69f4375099967a6d4108b34edf5055a7","datavalue":{"value":"1002414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$102E3970-BFAF-42E9-BA87-32B6B4CF42ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc6c139b1b9cca509dfe8280d0849ca8f18e3cc","datavalue":{"value":"chronolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q679341$371D95FB-3F44-4961-8C6B-649F1348A186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2f0a04199910ab8d60f38ecacf73eecc9d5aa9","datavalue":{"value":"simulation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q679341$471ED128-DCC3-4EFA-94EB-3299C2F610B0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b7ba49add7d9e7b5adbae0911f345dfa0f4596cc","datavalue":{"value":"Q58185349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$6CC2AA4A-A76D-4C42-B507-38F442D57C2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679341$CC55874D-78A3-4975-B204-6B0D568B83AD","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":"Q679341$65C38F4E-607D-48B0-B9D4-5E1828AD2C75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5089fdc341d1173a33f716db6ff2d5cd0a949129","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0072","type":"string"},"datatype":"url"},"type":"statement","id":"Q679341$AA451197-6D52-4AE7-A49F-9265C8E0AFDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9347f51bc04a8acec7850c0e6f4f6395b37642eb","datavalue":{"value":"W2049351618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$27A9A264-4A6C-4663-A508-83AA30B3FB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10496aa4672d4a8f3ad0d6a14834c8b872a43ff3","datavalue":{"value":"10.1006/JSCO.1996.0072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679341$8ADB77FF-9289-43A1-B785-9C0F90C846B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f634dace4bc0d4fac1c21846bd47c4aa550e4699","datavalue":{"value":{"entity-type":"item","numeric-id":4876388,"id":"Q4876388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a7de3595bbea2363e9da8a67784c27e50d23ea","datavalue":{"value":{"amount":"+0.8076404333114624","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":"Q679341$D9430444-D8D0-4E63-8D48-87AF2F4D7F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1c665125a7fe7e682f40814234a1c669e4da4e","datavalue":{"value":{"entity-type":"item","numeric-id":5929097,"id":"Q5929097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0335129eefc0583242107b672b011623561fa345","datavalue":{"value":{"amount":"+0.7864688038825989","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":"Q679341$CC52FAA2-F63B-4B97-AB8C-DB23E02DC4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8c369272461125bd06c29b06c30aeb19ab11e8","datavalue":{"value":{"amount":"+0.7864097356796265","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":"Q679341$20577BE0-71C0-4FEE-B3A6-441D53BA1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cf5c142c8a78612ec5a745260d16bded5e1909","datavalue":{"value":{"entity-type":"item","numeric-id":4036284,"id":"Q4036284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ab39eaa48f93c837a41f04a855fa680c12485c","datavalue":{"value":{"amount":"+0.7571276426315308","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":"Q679341$D8177301-F1C9-467B-B751-79A5EC1CF3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7b1399e33678c6fdda60c36bf175cbf04247b7","datavalue":{"value":{"entity-type":"item","numeric-id":679329,"id":"Q679329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e0d49abc1532bb2e601f2e6bb8ede35200aee3","datavalue":{"value":{"amount":"+0.7531054615974426","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":"Q679341$3F299D2C-A730-415C-8A35-503427FE1544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dealing with multiple granularity of time in temporal logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dealing_with_multiple_granularity_of_time_in_temporal_logic_programming"}}}}}