{"entities":{"Q557828":{"pageid":559595,"ns":120,"title":"Item:Q557828","lastrevid":62730405,"modified":"2026-04-11T08:04:40Z","type":"item","id":"Q557828","labels":{"en":{"language":"en","value":"On the completeness and decidability of duration calculus with iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184057"}},"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":"Q557828$54F899AC-E29F-49C4-B55D-36C6D02C9133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd57542168127c45bff0b372e1246daa34b55168","datavalue":{"value":{"text":"On the completeness and decidability of duration calculus with iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557828$9CDE72C6-1536-49AD-B4A0-96143103E862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d44a57b53277e80654ac7b84667ef22747035aeb","datavalue":{"value":"1108.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$F9801F10-95B9-4BF7-83C0-2E4E2382E81B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$1F9E9199-FCD2-40F9-85D2-A87A87E7344F","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":"Q557828$4D854E22-C6D1-42FF-9E40-7D4F7FBF3027","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$000B4DCE-7A8F-47D3-A549-3D351B0757D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557828$AF265A63-234A-4817-B7CE-CD54FF812BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$86FC2EB2-EBE4-4B61-BEB4-9C6D96FBF2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$09321E55-1940-4DDB-AAAC-13086883F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$CC832B81-3152-4762-9CB6-8DCE0F713BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$5BF96806-1BF0-4089-ABAD-06DCB9990E95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e38c8673136e9664f4cdfb5cd3a5c215c3af013d","datavalue":{"value":"2184057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$5E813EB6-187A-4D4C-A624-77AE58952D19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q557828$7303D355-4EEB-4E4A-96A6-480010095400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q557828$F97F6947-5A50-4C74-8DFA-C64F7AE2F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68dd270adc1c32bd2c8c87abe213f2490d40f270","datavalue":{"value":"Duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q557828$9334F09B-EF71-489E-82E7-7D587D3C159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q557828$C6B081BA-E20B-41F6-A472-603772011DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q557828$B9307257-E4C1-483C-8044-BEC59EDED33B","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":"Q557828$45BEDBAD-BDDF-431F-BF3B-1359FE8A0512","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b329e0a889f75a9f49f65f519c9df86c9a25c5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.01.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q557828$54146062-975B-49FF-91F6-A8A691BAD43D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce13c963f4fb00dab19b11a81bee4e62846cb923","datavalue":{"value":"W2041664178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$242E12A7-F36A-4D1A-A3E5-9921D1B7F6DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$63EB348C-E957-40BF-815A-D3B087F09195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$273B6E6F-789D-4206-9EF9-B44B59DB690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6643dc2ce5fd7a0e7b975b9f8b9bb2354b135f0","datavalue":{"value":{"entity-type":"item","numeric-id":4501577,"id":"Q4501577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$395E103A-EF01-4D97-96FE-89BAF10D9BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a526cb53123d26a540c435cd5c86868088cb6e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4472450,"id":"Q4472450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$E2BA24B6-AE7D-4254-AFA8-294B912F8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ee257c52df2c888421c620172603dc91463a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4820466,"id":"Q4820466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$7A5A3A98-BBC2-4903-8FFE-3613A8D79492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3025723d0ae987d67fc1fcfc2b37b9ccb68458","datavalue":{"value":{"entity-type":"item","numeric-id":2851075,"id":"Q2851075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$80AF43F6-0F23-4B02-9E21-7ECF618FF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$5958DC68-6B48-46BE-8A8F-866BF4401E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f8501a0814dbd668caec3ed237f5b7d1fe61c7","datavalue":{"value":{"entity-type":"item","numeric-id":4493904,"id":"Q4493904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$02150EB4-5ECB-449C-9197-0F37D68839DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$879463D6-934B-4381-8CC9-8C3D61CC8E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$B813CFF9-074C-4AE5-AFD0-9933807C90DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dcecd6552911c3c9a057066855f791e03996898","datavalue":{"value":{"entity-type":"item","numeric-id":5305654,"id":"Q5305654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$7F4625EA-6664-4CBA-9202-5E6250494639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$ABA3E9DD-90B2-4B2E-9522-0A8D99EC6764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1493933dc24800e858fed953d8cb74d6e712e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":3365587,"id":"Q3365587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$8D328BC9-9BB7-4564-BE7C-48767FD745E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$C9236477-7DB3-41B2-BC78-16241C761349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$64A682F7-C335-49C3-A087-F7291BD510D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$34F35D75-4DB9-42F5-9EE6-68BC1E758A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557828$A81053AA-AEFD-484C-8E28-C3D167376F38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f34206e02974ffa54cdd56289f38da0b07a17bc","datavalue":{"value":"10.1016/J.TCS.2005.01.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557828$B6AE53DA-48B3-41FB-954D-A765874AE98A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c574596e906e3bb9f403498be27948ba44e4af","datavalue":{"value":{"entity-type":"item","numeric-id":4501577,"id":"Q4501577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268c5d589e45be38af08ede4eed232ed3b9974dd","datavalue":{"value":{"amount":"+0.8848819732666016","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":"Q557828$1F07FB24-29C2-4675-85A2-26C303F00DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27aefb048c4e66814da8f5149e2ff250751025fd","datavalue":{"value":{"entity-type":"item","numeric-id":2753691,"id":"Q2753691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb58edde421708c3e266b68d199f3a63b326856","datavalue":{"value":{"amount":"+0.7825806736946106","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":"Q557828$5AD8DD71-71C3-427B-BE67-BA24E176B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ce26897af7cbf06272d3d1bb0adbc0a67bc147","datavalue":{"value":{"entity-type":"item","numeric-id":4472450,"id":"Q4472450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6017514549f91ecb520fbe5deef1f8d5a433be","datavalue":{"value":{"amount":"+0.7766461372375488","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":"Q557828$BA36FF9F-4B17-41F2-908D-86D75A3830A8","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":"0d9a02fcf77d509f242de09718a28252ae1db080","datavalue":{"value":{"amount":"+0.7682192921638489","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":"Q557828$D37590F3-AC2E-4C96-B6B3-52CA5FB7351A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e300a6a25adbf1e42bef7cc76832a71558ef6be7","datavalue":{"value":{"entity-type":"item","numeric-id":3643269,"id":"Q3643269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9a02fcf77d509f242de09718a28252ae1db080","datavalue":{"value":{"amount":"+0.7682192921638489","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":"Q557828$FEDE185B-0696-472C-89D7-CD016D2363AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness and decidability of duration calculus with iteration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_completeness_and_decidability_of_duration_calculus_with_iteration"}}}}}