{"entities":{"Q3013356":{"pageid":3024080,"ns":120,"title":"Item:Q3013356","lastrevid":51291905,"modified":"2026-01-17T15:28:10Z","type":"item","id":"Q3013356","labels":{"en":{"language":"en","value":"Labeled calculi applied to verification and analysis of time-concerned programs. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5924977"}},"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":"Q3013356$58873DD4-CB8F-40D3-9525-7DD1D4FE5424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00a1245bcd7dfd55e98ef5a2ab9f5439181af424","datavalue":{"value":"1221.00052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$A045E6FE-C27A-4C72-B286-6825EB2AE8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e6cc3e4141cf0cc05f97755fabd194f52aee80","datavalue":{"value":{"entity-type":"item","numeric-id":2703753,"id":"Q2703753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013356$130C7056-92C3-4FEE-91AE-8D6FA519110D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eddd6fbb20a3cc65941bf9614847fed07b4cda03","datavalue":{"value":{"entity-type":"item","numeric-id":1843168,"id":"Q1843168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013356$2C00F955-999E-4E0D-A789-5CD487982BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd1470502c7aa66d64b1fa80211b6436854f313","datavalue":{"value":{"entity-type":"item","numeric-id":2703754,"id":"Q2703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013356$0FF11628-E3C3-44B6-BC2C-58D6453DCB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afea7e99d30d680727f9def54a84dbe143379134","datavalue":{"value":{"entity-type":"item","numeric-id":3013355,"id":"Q3013355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013356$C1D4B3C2-15E6-432E-88E8-FC46AA60F6AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3013356$F2284F88-3A0F-4D2D-88A4-05C8B4A5838F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"620336a513871486c9da6bae5f2c9fb2c9537270","datavalue":{"value":"00A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$40210087-BB5B-4346-97DA-4B38D6A3D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$0BF27AD2-FF86-4D3A-9EF5-E5A5E0667C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$66816123-ECDE-40F6-8FCB-A182CFCCC48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$75BF0BAB-E199-4BAC-85CF-C8E284E12DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$58288E6C-CD78-4C83-82B4-7AB9D6C78266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dc26cc934b82e308862af252231f930143809ff","datavalue":{"value":"5924977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013356$975B8B91-005E-44A9-BF7F-A7036715B2BD","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":"Q3013356$33365B9A-B151-48FA-A12A-7FE6987D2173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0f437148532fea2bd97ba3ec9ed1bf8216e1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1769676,"id":"Q1769676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e83e660eb5f190d2cad3541390bd595e3685f0","datavalue":{"value":{"amount":"+0.7248516082763672","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":"Q3013356$FF073A36-8023-4E94-8C94-C9E0ED768FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab2e63a3d7ccec16dc17f6b188e3087640f776","datavalue":{"value":{"entity-type":"item","numeric-id":3630089,"id":"Q3630089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f89b1bc1524cfe5e00f4cf7c67ec0010be0ea08","datavalue":{"value":{"amount":"+0.6946669220924377","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":"Q3013356$3F440B46-4BF7-4F02-98EB-FF4BB664048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b17a3433a076c2e9c8a86dc12b42308b30ef8c","datavalue":{"value":{"entity-type":"item","numeric-id":5302899,"id":"Q5302899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e0e04ee444743a7f672ed97796ef0494480eee","datavalue":{"value":{"amount":"+0.6945774555206299","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":"Q3013356$2C5D1031-17B1-47F1-955B-38AA63FEFA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b0b498238ea901f84c5265acf316c3f569263a","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400732c8a82fdb5d4402b66ca39192a7ca8f64f7","datavalue":{"value":{"amount":"+0.6877602338790894","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":"Q3013356$6065BDD6-60A6-4C86-8714-E7B04A65D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a81ca37c2f3de256d3056ef21eb4e4f6cec55c","datavalue":{"value":{"amount":"+0.6820993423461914","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":"Q3013356$8C0EE0C3-B102-46A0-A922-7A92AE70B4EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3013356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3013356"}}}}}