{"entities":{"Q700976":{"pageid":702825,"ns":120,"title":"Item:Q700976","lastrevid":63627996,"modified":"2026-04-11T14:27:31Z","type":"item","id":"Q700976","labels":{"en":{"language":"en","value":"Reasoning about real-time repetitions: Terminating and nonterminating"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1815425"}},"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":"Q700976$7EE7A34B-96E8-479B-9C80-324A21CF7D50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d691e8ee95cc9ca7918a626fa0dd54d62620f9","datavalue":{"value":{"text":"Reasoning about real-time repetitions: Terminating and nonterminating","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q700976$FC86EACD-8E86-439D-8DB7-768BC9446A60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ec262ea57ad3f477df9656c464ebba7ef5d5411","datavalue":{"value":"1014.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700976$BD0106D1-9671-4C30-9B7F-D4768EB29B34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2e1b14cf193eaba87b0631c46d462418e5ff63","datavalue":{"value":"10.1016/S0167-6423(02)00024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700976$3892E0D2-9E89-46A7-8B84-0CC1AA17F8F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q700976$601479F0-3326-48FA-A6C5-CE498A3BA9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9f84701e0c4849f03d0b9256647bbbcf5227cb","datavalue":{"value":{"time":"+2002-10-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":"Q700976$AA46B414-9850-4AA6-9DB0-92655F7C5C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700976$8B69FEB8-D8A7-4445-B3F9-07EB856F4AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26aa81446bddf493bd6f7db44491d4217336e43","datavalue":{"value":"1815425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700976$4E582E6F-81E3-4C3C-BD88-AF7DE5E6FE12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q700976$45FBF378-1F7B-48A8-84A5-EF3F1B513C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a670399a3fb17a875f55b45819fdab54be9f07b6","datavalue":{"value":"nonterminating process","type":"string"},"datatype":"string"},"type":"statement","id":"Q700976$6C53AA96-69D4-4C63-B048-4EBBDFAED439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957bb84ba68540a67415dcdd9d5a40a4d72cf36d","datavalue":{"value":"predicative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q700976$0ABD82FF-B0B5-486E-A183-8729D4303728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q700976$401A55B1-E309-430E-A132-9D3E1FCFC13B","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":"Q700976$6065B4B5-F4EC-4F88-8CD8-D1499C41B3B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d734a1be68168ef60ecd33226f70bc23f0df9fa","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(02)00024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q700976$A9241AFF-D9A0-4BA8-84C6-F487D393110A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f047dfff4ceb0064161cbe1000301eaec8b4fb7","datavalue":{"value":"W1994683972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q700976$3905172F-97EB-4C28-B1D4-00B5D0B31797","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a62033e2b990aa563825ce553be456ba967b77","datavalue":{"value":{"entity-type":"item","numeric-id":5434506,"id":"Q5434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84c48f7ee8f38549cf7b07d14079864cf9afe43","datavalue":{"value":{"amount":"+0.86468244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$777E62C6-5E1C-4849-9852-F99B6BCD25AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bf1077696898a083dacfc75d371f8fdc89404e","datavalue":{"value":{"entity-type":"item","numeric-id":3165752,"id":"Q3165752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed19af75c5b1ff3824eb952b2c46329adc21480","datavalue":{"value":{"amount":"+0.84917665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$D33C8A78-BF7B-4E81-AF8F-AC03309346A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3177f8f570d206705720ec519d15c4af061d90","datavalue":{"value":{"amount":"+0.8455191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$7FFF2877-5A3E-4F22-9CCB-65610E9F8590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849b8d94ceef2d2c3e82522b09c4a8a01aee0a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2721094,"id":"Q2721094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5479318e15c71a644de8ae7830e856e28bc361ca","datavalue":{"value":{"amount":"+0.84253883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$3A30174D-A402-4295-A4A0-23E9CAB6B202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d4ec3b9d6e00c018b75068e14cf0b88a497520","datavalue":{"value":{"amount":"+0.8385908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$F1323CB9-449D-4F4F-808E-9C1F3B598DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e08046a39bdebe032df12315f6f8871bc3a4f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815342,"id":"Q1815342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a94169438df871366f8342c39e9204696c1693c","datavalue":{"value":{"amount":"+0.8385103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$775E7FA1-9C06-4FA7-9AA5-DD2F45D0B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157a2af52727fb971be3794c68feff5f9e8c87e","datavalue":{"value":{"entity-type":"item","numeric-id":4494114,"id":"Q4494114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdead3e6c2e454976951aee31640ff5a9d11c9d3","datavalue":{"value":{"amount":"+0.8384449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$3555A1AF-4069-4A23-94D9-9402DF711F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f74519003451cc86ced3564899e9f7926c33426","datavalue":{"value":{"amount":"+0.8373832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$8C2A791D-54FE-4169-92EB-582101BF650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2004921462150a09a296ce53be1232c74a8a315","datavalue":{"value":{"entity-type":"item","numeric-id":3511220,"id":"Q3511220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b629a345884b5af94dfe57d3fcd563877dc0da8","datavalue":{"value":{"amount":"+0.8373651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$46F7BE7F-1F88-4F9C-BB9A-FE65CF730F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da72aa331234735c6e47769cf47004278009345","datavalue":{"value":{"entity-type":"item","numeric-id":5392290,"id":"Q5392290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962308490b97135400ed28971d380b8904e0d77d","datavalue":{"value":{"amount":"+0.8363215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q700976$36138D65-4901-4C36-AAF7-AB4A40EAE545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about real-time repetitions: Terminating and nonterminating","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_real-time_repetitions:_Terminating_and_nonterminating"}}}}}