{"entities":{"Q866220":{"pageid":868068,"ns":120,"title":"Item:Q866220","lastrevid":64944318,"modified":"2026-04-11T23:16:42Z","type":"item","id":"Q866220","labels":{"en":{"language":"en","value":"A higher-order duration calculus and its completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128668"}},"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":"Q866220$8EF93164-5725-46DC-B2A8-EC1EC698CB73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d1aa6bc27d5963b2f931518045b432ad0d9195","datavalue":{"value":{"text":"A higher-order duration calculus and its completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866220$1809A3E9-4B47-4F2B-82BF-5BBF7508AA05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a84703cbd6adf18a2c95d370b878f8c8759abb3","datavalue":{"value":"1161.68594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866220$CA9A7B3E-1551-49DD-A51E-4AD529AA7190","rank":"normal"}],"P16":[{"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":"Q866220$E71E418B-95AC-4170-89C8-AAFB8C854C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866220$BD25169B-621A-4026-9ED0-7DA86D7B8E3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866220$08621D8A-7A6B-46A5-B768-766A9450FC03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"638632a79afb290b2a93f54c0815708aa048e952","datavalue":{"value":"This paper was already published in Lect. Notes Comput. Sci. 1862, 442-456 (2000).","type":"string"},"datatype":"string"},"type":"statement","id":"Q866220$567BCF67-F7B8-44AD-A8D5-FF8B84E1EC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866220$2AF0EFD3-971D-4019-AE55-189085FA166E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca16269e0a90014c1f539a55b18ba5bb71a78501","datavalue":{"value":"5128668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866220$DCFE205E-856C-4F16-BFEB-FDA91C01133E","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":"Q866220$9A246D61-5244-4C79-828F-A0F8A83647C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A higher-order duration calculus and its completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_higher-order_duration_calculus_and_its_completeness"}}}}}