{"entities":{"Q3832037":{"pageid":5861943,"ns":120,"title":"Item:Q3832037","lastrevid":54470585,"modified":"2026-01-27T01:11:48Z","type":"item","id":"Q3832037","labels":{"en":{"language":"en","value":"Verifying temporal properties without temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108140"}},"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":"Q3832037$6DD9C1B2-E7EB-4313-A135-056D48709C6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42deea41b5554bacf4f87464d28d4b7d607b5afb","datavalue":{"value":{"text":"Verifying temporal properties without temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3832037$05F1A39F-6387-4C39-8672-B49FD688A92F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0131bc98f100967d330b3d99f390c6d26dc1f86d","datavalue":{"value":"0676.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$60FF0228-C7A8-4921-917B-AFE661C69831","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a16594c707c297208db64e200ccb2acc9286957","datavalue":{"value":"10.1145/59287.62028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$ECD45ABF-5C6F-4F47-AB17-5B8821854808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eedc52844ebed8502c4b6f8e4061fa0d936ff5e","datavalue":{"value":{"entity-type":"item","numeric-id":1064055,"id":"Q1064055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832037$C12A8BF1-E2FD-490F-BCEB-23C7DDC9790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832037$2CCB9240-3B5B-4DCC-9307-5A0F29EE7CEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832037$606FA6F8-D40C-46CF-B754-44EFDC039097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3832037$EA9D4052-6F87-491A-AAEF-7E296AD0E27E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343710a1693e9d3f4531736d12d44524ccb09e0a","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1989-11/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3832037$E96F81EB-054F-4077-BD4B-788CA699A1EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$4F77F40F-1E16-44F5-800C-215F8CD1ECA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$F39CD0C9-2371-4385-BE81-CAADBB5D0352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$5971430C-5DBC-4E79-98FD-83C6A38A4469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84bfa8d2ffec5fcf7f95ae3e69b293785f06b64","datavalue":{"value":"4108140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$3BC10894-2C27-4695-B59B-BE50570F6C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832037$0BDE82D9-B968-4E49-BB23-CE882BBA77C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832037$8AA74735-E8D4-4E63-A34F-73D975027691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832037$838BFEA0-0E71-4132-BC9F-8C880065DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832037$14BAB559-8F4C-40EC-8EAA-DADB1BEA61A5","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":"Q3832037$84FFF843-CED0-4763-9621-33E2155E7C00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ab5e7e833344c58a732549256cf52479c22d272","datavalue":{"value":"W1986033227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832037$A67466F1-31F0-4991-87EB-6D8D8E3CB011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9192e7215cd64fb41f9a18cd115805868a0ca6","datavalue":{"value":{"amount":"+0.8269464373588562","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":"Q3832037$DB060528-0B57-465E-A0A9-5A1750F08B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5c1cdf5f751d2881d20706e1bf3369c56966c8","datavalue":{"value":{"amount":"+0.8109264373779297","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":"Q3832037$B80B0CC7-CF7A-4BB3-B4E6-31CDDF6990C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939ba46ae8c13870d5d1b99a7324d65de42e33c2","datavalue":{"value":{"entity-type":"item","numeric-id":4031327,"id":"Q4031327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0ccebde89916e821355b4485817fc0a6a1e233","datavalue":{"value":{"amount":"+0.7975590229034424","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":"Q3832037$A9A16E9A-5089-44FB-8A48-3D074ECDE524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de26d38a296030628bcd00763af4333041ed033","datavalue":{"value":{"amount":"+0.7960788011550903","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":"Q3832037$AC0A3DA5-769C-41DB-8A5C-2D04D304AC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73f495649a1bda2145cd1e0b5049d10a89e2e0d","datavalue":{"value":{"amount":"+0.795123815536499","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":"Q3832037$CDC0173F-A4D6-4AAC-B8EE-74B7A81C45B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3832037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3832037"}}}}}