{"entities":{"Q3181698":{"pageid":3192406,"ns":120,"title":"Item:Q3181698","lastrevid":50783282,"modified":"2026-01-15T04:08:07Z","type":"item","id":"Q3181698","labels":{"en":{"language":"en","value":"Formalising scheduling theories in duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5614011"}},"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":"Q3181698$7C1F671A-B6D3-4FF8-ADE3-CFC2E07617D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"871b48ba2bc9d50bbe58825fae61e0eb1a7ba3c2","datavalue":{"value":"1187.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181698$1C40819F-0B95-464D-BBB5-B4E9F33DECB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"704b83d0300494308abcf30144413fcf66992182","datavalue":{"value":{"entity-type":"item","numeric-id":706507,"id":"Q706507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181698$1ED74C33-718B-4EB8-BC14-E5E4324DE27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181698$6649B8E4-7507-422D-B990-5D45F9604207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3181698$898E2E10-0F6F-48CE-8740-6859E88E9CD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181698$CDD713CA-252E-4825-B527-F10F398C40B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ea3621e5fbe30c437dcaaf8e811630bd236b12","datavalue":{"value":"5614011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181698$182132E3-A073-417F-A8D4-336F8D9D5912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874da2be2d7fc7dcc19f681cff15c85845fc946e","datavalue":{"value":"real time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181698$02A59DBE-CCB2-45CD-A8F3-3DD1EC8D009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbaf37ec7a1ce0466b7954916df3cdb097c86ac0","datavalue":{"value":"schedulability conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181698$3AEEA55F-31AE-4B22-ADD3-B201A78B81AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181698$48713C43-437E-4A3F-8321-5C3E44619D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181698$1C6FFD81-8966-42F6-B503-486FCFE4AE26","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":"Q3181698$C91C3D71-5EE8-4EAA-9267-62C7B53AECCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b32cce40fe7fdb357a1ac54b0735e0e69d876f","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caae1edb9cf75f21420829f8ac48c44f8ad7ec9","datavalue":{"value":{"amount":"+0.7881999015808105","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":"Q3181698$D808B02B-1773-4EEB-B58A-49E25845A882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"883493ae2cf104a1dd9f824ee29169e3c1b7ca55","datavalue":{"value":{"entity-type":"item","numeric-id":5945840,"id":"Q5945840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2d120a22c9253bffe1b8f32a434d69ea4bdbfb","datavalue":{"value":{"amount":"+0.7811821103096008","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":"Q3181698$35A40860-B3C7-439B-B9A5-D459188F8805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e135b85d9571533658b21536299101dcb0e701","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ab1eaa0183ab2e5df01ad972eb3f5fbc4377a1","datavalue":{"value":{"amount":"+0.7763873338699341","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":"Q3181698$CA472126-8816-48F0-B7F3-B67A0A64C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7f842c8ed52dd870ccf0cb7ab0745430ca55af","datavalue":{"value":{"entity-type":"item","numeric-id":5709993,"id":"Q5709993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb32acde3b4706849c844fd745ed1e4d2ace4f5b","datavalue":{"value":{"amount":"+0.764126718044281","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":"Q3181698$F2493A7E-B58D-45E4-BF36-E19B6C360C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860c07a53187c2c7d3cca1c0070eb2339bd0b422","datavalue":{"value":{"entity-type":"item","numeric-id":4520799,"id":"Q4520799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ca8406e0c5e863076be5793b8801245be9db57","datavalue":{"value":{"amount":"+0.759230375289917","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":"Q3181698$CE299C2F-6FEB-4585-9C9F-6D5E9A2CD086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3181698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3181698"}}}}}