{"entities":{"Q2469157":{"pageid":2479900,"ns":120,"title":"Item:Q2469157","lastrevid":50265761,"modified":"2026-01-13T16:55:04Z","type":"item","id":"Q2469157","labels":{"en":{"language":"en","value":"Framed temporal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231973"}},"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":"Q2469157$3F0E7699-801D-4EBB-BC83-D4BD8C67A662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e3bc6f5856ad94f58c70e056e2c800a8d8efaa","datavalue":{"value":{"text":"Framed temporal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469157$225273BC-3EB1-4358-B6BD-8CA98E734547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"873913e0dd7ec346ed4be9419c7471f367b71918","datavalue":{"value":"1131.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$1EA1A0C7-91F9-4000-9940-2CD464A5F7BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469157$D6C66792-BF85-4A4C-95BD-A15B0D079006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7593f574ea128cf94ee0991f4586716cfb90c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1787787,"id":"Q1787787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469157$2702769F-1F38-4153-A124-43F94762BC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469157$CCC594FA-1151-4BE9-8EA6-E361F6AA0713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469157$F63CF659-002B-4501-A600-343FCE7FBE09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d92ceb78f78f49389a1027568ad4fd3f39cc02","datavalue":{"value":{"time":"+2008-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469157$52B1A028-E57C-43A1-8828-B90CF111C0EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$701C3781-81A3-4C7E-A027-C725EAF8AA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$A253275B-BD9E-4700-BA3C-78287B0F777B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9472d3cfad219e880d858f5affe6e8291eb7116e","datavalue":{"value":"5231973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$7C94E733-4FC0-4059-83C9-D0ED9D09E38C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$3D70E372-C11B-4D4A-8E09-9E0B3B4B0A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755fd442488c3c9d14ae1d362d761b0ca35fa691","datavalue":{"value":"framing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$6A49F546-3E93-41B5-A97B-CF4E1B6FE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$F734D547-685D-4B10-A78C-97943C203A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$1C6F05FB-D6B4-4B0A-9C40-4E8784FE3EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$756C26FC-BD13-4994-8CBB-7A9797B26E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0544513bdc8f0636dda569851f6b67fd5744ee","datavalue":{"value":"communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$84EBC34D-E41B-49CB-87A5-6AA62663B2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469157$D26C4257-CE58-46D8-A1E4-2F2294DF8CE0","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":"Q2469157$F0F6FD29-34BC-47D8-92AE-D10959D9AAE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06ec8ccb74c259242a856068296964aa5d1206a6","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469157$099F786C-4EDF-4991-8121-935F12130BA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9a655455a531a302809f47fd259ba7dae10997c","datavalue":{"value":"W2093832730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$20C00401-6E00-42AD-B89B-6F6C7EB5F852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5abd99112e61c0545b448ac13e9559d33a3bd21","datavalue":{"value":"10.1016/J.SCICO.2007.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469157$1B25A855-28FA-4EDB-8097-AE95A07AEA8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7a029981e62d2e0259a248fe31471b88ebf54","datavalue":{"value":{"entity-type":"item","numeric-id":5475789,"id":"Q5475789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680e81665e6d1d22038907b645be06daea57df61","datavalue":{"value":{"amount":"+0.9161452054977416","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":"Q2469157$4D16B4FF-9BE9-4661-9666-CDED16547878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af43d4b1a5fb221301552864c701733ee384587e","datavalue":{"value":{"entity-type":"item","numeric-id":5448808,"id":"Q5448808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b7781ed5fae347d33a0e19aebaeaa4c30e1972","datavalue":{"value":{"amount":"+0.8323789238929749","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":"Q2469157$82A4D049-64B1-4E02-9A06-96EF085BE4CC","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":"a2b259f0b08738a7e850853844f750ee4473efe8","datavalue":{"value":{"amount":"+0.8293570876121521","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":"Q2469157$304F63F2-8C09-4F17-8AEE-23B3D7113497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978a42e60a73248c917509380ff8f108c964b533","datavalue":{"value":{"entity-type":"item","numeric-id":4733442,"id":"Q4733442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71abb409e3fa66cabcf8d33e8b2a5d2373ef2cfd","datavalue":{"value":{"amount":"+0.8192028999328613","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":"Q2469157$26F60694-C15F-41AD-BE5E-C3CAC382059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de53c3f9ae439e0a327dc8d16cd840a0051b957","datavalue":{"value":{"entity-type":"item","numeric-id":3813270,"id":"Q3813270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47e58481d9a8083e767c180f0f556d42a3b91f5","datavalue":{"value":{"amount":"+0.797980546951294","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":"Q2469157$CA273F42-B9B2-4CD0-9F5E-712D155CEE39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2469157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2469157"}}}}}