{"entities":{"Q3525019":{"pageid":5554923,"ns":120,"title":"Item:Q3525019","lastrevid":90252986,"modified":"2026-06-04T19:41:19Z","type":"item","id":"Q3525019","labels":{"en":{"language":"en","value":"A Theory of Duration Calculus with Application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344263"}},"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":"Q3525019$2210EF47-F6CD-428C-A94F-ABA97243EA70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0acf014427df84e34030da77762db88e153156","datavalue":{"value":{"text":"A Theory of Duration Calculus with Application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525019$4DF669AA-942F-4510-964E-EDA5E46380F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfe0e478d06300a7f697c2373d04741c7601ac61","datavalue":{"value":"1145.03310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$A2FA59D7-D561-45E8-A54F-3066E8BFE496","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45bfdb2b34b49be949ae4ec80049d5dbaac4f326","datavalue":{"value":"10.1007/978-3-540-74964-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$A4771049-4EA0-4D0F-9B35-2BCBCFE5F51B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525019$4179D4DA-44AB-4C5D-8A96-6C4993DF9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7c51d78fec1b8c489cc32c0c92d005318a1112","datavalue":{"value":{"entity-type":"item","numeric-id":557827,"id":"Q557827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525019$4E4D8823-5D29-4648-A4A4-A927C004E923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525019$23354811-2535-4E4E-968C-1DFD88B48D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525019$E19B2C4C-8CB3-493F-A79B-258072F158F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$E2AB74A2-D912-4754-8C8C-A462D61063C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$08B30751-F151-44A5-9FB2-1BC3F0D5781F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c34e7df7a9770acf3a337b4e984876f97550a3","datavalue":{"value":"5344263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$6D27B499-D8F5-45D5-B98B-F7DE5A7B3674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$759677D7-845A-4B8D-A500-6F278A884E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b58ffce1cc2b1e37248090e40dfb2a885302be","datavalue":{"value":"metric-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$A1A4BEC9-3D44-460A-AB92-8A5D9676E9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$6A6E835B-ED4E-4DC8-B671-1CF9570928BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$3F8C828B-74B8-4034-9406-B1C37B7A19E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$C1D34E9A-060A-4756-A7F7-B1655EA65279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4056fbaa987b8cc47e4e77463b4be847442bfb1a","datavalue":{"value":"application","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525019$77A32300-124B-4BFE-BC3F-39DCFC7AFEFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525019$46DDFB37-4058-4FDC-A788-4113980FB530","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":"Q3525019$FA46CFFD-AA27-4E90-8492-40418A283C98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"662eb4a50070bebe45bd3e5fb5f90fd2a09eec59","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74964-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525019$ED99128D-320E-4E2E-B355-080E60649E8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3cd5be35a4f9e33595229056d11bf35348bac6","datavalue":{"value":"W1507319077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525019$05D9CA10-872C-4B99-9F17-DCD16E323D3F","rank":"normal"}],"P1643":[{"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":"2b50ecb45e4f872777d5d147f96f6a6ce4bf0986","datavalue":{"value":{"amount":"+0.8276618719100952","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":"Q3525019$AF31C233-FC06-4635-AEB6-A662DF04375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f525beaf7f3a821bbb7cd1a01a17bcaba5a44cce","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ebbdf85b4b600a9e3c92176b1ebfa7065fa6a3","datavalue":{"value":{"amount":"+0.798982560634613","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":"Q3525019$BDC71A77-7538-430E-9EE9-90470248940B","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":"966e15a9cc833a86dc54cddbf57ff0455bb90cc8","datavalue":{"value":{"amount":"+0.7884746789932251","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":"Q3525019$551C4989-4F77-4D58-9D54-3037EDEA7E7B","rank":"normal"},{"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":"e1afc9e43fbf307e1b07999422a98bc0ce2972c0","datavalue":{"value":{"amount":"+0.7859188914299011","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":"Q3525019$D92AFAA2-A949-4364-ABC5-DACF63CF51BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcb1599131076bfedba58f7d7e635d32940532e","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1ef9931574636adb0b2e391a65598b06ac3b79","datavalue":{"value":{"amount":"+0.7855291962623596","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":"Q3525019$610E6089-9DBE-4D89-B98F-2A606B36C7FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Theory of Duration Calculus with Application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Theory_of_Duration_Calculus_with_Application"}}}}}