{"entities":{"Q6109435":{"pageid":13243742,"ns":120,"title":"Item:Q6109435","lastrevid":55470667,"modified":"2026-02-17T17:10:32Z","type":"item","id":"Q6109435","labels":{"en":{"language":"en","value":"Real-time policy enforcement with metric first-order temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719754"}},"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":"Q6109435$8104FA63-7960-40A7-AA53-C1F34A78BC1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57a7aa7c51d9cf6fec576f138b24ce37ca0150e4","datavalue":{"value":{"text":"Real-time policy enforcement with metric first-order temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109435$7B445392-23F8-4E9A-BBC9-7A949AFAE0A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"207bb4cb6ab138acff0c8c5be388f8444caaa4a2","datavalue":{"value":"1524.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109435$72155638-4345-45C0-BB5D-A1441E33CE79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"750e85a0da38778258f01d052217b3415d5c1f37","datavalue":{"value":"10.1007/978-3-031-17146-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109435$8F7A91DF-9396-4BBD-A929-4A4EDA8C3648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47160da09157880ab5ff542e2dc5dece8d14e35f","datavalue":{"value":{"entity-type":"item","numeric-id":2093023,"id":"Q2093023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$1919B64C-2789-4800-A2CE-6DC7507DFAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$045C3731-D055-40E7-839F-A001E7490971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1844a0279eb1635d4c321f766c80bc716d34157b","datavalue":{"value":{"entity-type":"item","numeric-id":2008286,"id":"Q2008286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$318EF155-1245-4CA1-A010-6C8C2F85A008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b00362f8ab50922d7367573f6d1e5bbe9a24b5b","datavalue":{"value":{"entity-type":"item","numeric-id":6109433,"id":"Q6109433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$42985477-50A1-4765-A842-83D1C02BB238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6109435$585A82FD-2A04-40EB-A6E1-466DA8ED3B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109435$4D46FA3E-3B18-48EA-B77F-83A88172A2BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"040d576630679bf864e58b3bbc8dddb3b1ca70af","datavalue":{"value":"7719754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109435$A3771CC3-B874-4620-B2F3-9D37E380E1AE","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":"Q6109435$B2BE3C78-D0AE-46ED-8AEE-90EAF8292803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e43ab54f33131f55698eaf2697004548403e87","datavalue":{"value":{"entity-type":"item","numeric-id":2117010,"id":"Q2117010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$B44A917C-786A-4D86-8B34-9858B115D395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$70DA06E7-CE33-474C-9613-AB3B26CF6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8377997dd27c031e0267b857de31850931ea98e6","datavalue":{"value":{"entity-type":"item","numeric-id":2096466,"id":"Q2096466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$4B4F44D1-F4DA-4A82-B376-8556A0640355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810c211a4f45cf76ba3b9494f5dc9c3f17e3970b","datavalue":{"value":{"entity-type":"item","numeric-id":2894329,"id":"Q2894329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$5065D357-2691-4946-AFD4-AB7962ACEBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$1FEDB136-3BD6-4026-8CCC-1B4E0E272E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6f907375452243a2c9126d833eb69c278b09d7","datavalue":{"value":{"entity-type":"item","numeric-id":5756610,"id":"Q5756610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$B690A568-3D39-46C5-B5F2-0D5731E5B9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06987348d665bd9b962fb9b1b14d2d46665f9663","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$31F428FA-839E-41D4-9BE0-1CBFE2583E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6836e098d3a5abd9d82f66f3df84f24faa2e6284","datavalue":{"value":{"entity-type":"item","numeric-id":2249659,"id":"Q2249659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$AADF6C3C-16C6-4798-BDF4-3A4C8D1F4274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$51544C5D-6B8C-4DB8-9514-61924774DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f16ba48be98b508d390b28ecf08eaa920e0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":548696,"id":"Q548696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$1DBC56BA-820F-4562-8CC2-3A91EC05CEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$CBEE4FF1-993B-4440-8CB6-302DD3D4231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0f956eb64811c8a8b002ecf78e92dd7bcb769f","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$E367BF1E-E981-4733-8E6E-29876A5AA801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff16d9e8951ca7e4902f7caa7981f55b103b4214","datavalue":{"value":{"entity-type":"item","numeric-id":5862671,"id":"Q5862671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$7E8255E7-B866-4290-AD43-A43A371D97B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$2E66E1D8-C0B9-4B37-B0B4-ED5268D44CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$DFF8054F-2F44-4130-B544-2EAFDA029C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$06819FA9-ED22-4F29-BF69-122FCCC8F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109435$8397273B-97A7-481B-BC5E-A09942E359F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b963f72775c8aaa3c7286e939bd9e4e0b70bfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2894329,"id":"Q2894329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae41fd23bf93aabafa7229a6b14772b8148e5c2f","datavalue":{"value":{"amount":"+0.7699257731437683","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":"Q6109435$39B0F650-3D6F-4565-B696-8744899295D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b6f8b1f205526a3c2b4f93e86119dbe4399bf4","datavalue":{"value":{"entity-type":"item","numeric-id":5883741,"id":"Q5883741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9945496d84db8c0480f5c5b55ce4b9175731f1","datavalue":{"value":{"amount":"+0.7323980927467346","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":"Q6109435$ED116015-554E-4B2D-8D70-EBB37D33C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23c9971a20cf13f88fa33cd3e712671cd3c5efc","datavalue":{"value":{"entity-type":"item","numeric-id":6090988,"id":"Q6090988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2238082d1155dc136df5538dd87be0206de8604","datavalue":{"value":{"amount":"+0.729026198387146","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":"Q6109435$508A9AC5-4101-48D4-9DFD-E7BA9977ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f52e10263b9036297d1e043e926b996edde2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2275899,"id":"Q2275899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9ae5d1b9701051a6dcde1862af5a2b6935912e","datavalue":{"value":{"amount":"+0.7242230772972107","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":"Q6109435$DD2C0DAF-078B-4117-AB35-2076F847D4AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6109435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6109435"}}}}}