{"entities":{"Q1853062":{"pageid":1863804,"ns":120,"title":"Item:Q1853062","lastrevid":73896906,"modified":"2026-04-14T17:39:32Z","type":"item","id":"Q1853062","labels":{"en":{"language":"en","value":"A two-level temporal logic for evolving specifications."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856404"}},"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":"Q1853062$C8EF1AE2-7456-4C71-8A9D-7093FF923544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56bb8e3276661ac1413b3e3c5332c7ff581980b6","datavalue":{"value":{"text":"A two-level temporal logic for evolving specifications.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853062$1FC73963-1659-4B1C-B258-2122409323CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981131dbd8ca39fccca5b0349320dc60a3870c26","datavalue":{"value":"1043.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$8E246BA7-A460-4CF6-95FD-6AAD95156F8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c83e837d115e9f9d1d0e4653d142f35a7491f36","datavalue":{"value":"10.1016/S0020-0190(02)00289-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$8A486836-B8AF-452A-89EA-22C47FDF36FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$2DFF1C8C-A3E2-4229-9139-55386693F142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853062$F0AB3106-4721-411B-AA2F-07F9154008F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f330fa22b85fb814412f491ba9f938672969e15d","datavalue":{"value":"Traditional information system specifications are fixed: the rules of the system are frozen at specification time. In practice, most systems have to change their rules in unexpected ways during their lifetime. We present here a simple variant of a temporal logic that deals with specification evolution. It is a linear time temporal logic with two levels of time: intervals, interrupted by mutations (changes of rules), which compose lives of the system. We present a complete axiom system and complexity results, which show a large compatibility with classical linear temporal logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853062$F33BF191-2DCA-442D-B2F2-F6210BD97FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$CB122506-EE01-4529-A637-AFF78235F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$65C3F5FA-30C8-45C5-A4CB-EDE22B5B1538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$58CA6569-8FE4-4AAE-9286-62898DF14406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$6D0F3799-7C70-4E86-8B70-755A8AC691CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$FA35B44F-C286-49C3-9F81-130BACCFF477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"753442a598bf73e3f813d886238e1d825a7926d7","datavalue":{"value":"1856404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853062$EE244FF8-DB76-44BD-8668-BE91C95A69EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58087a1da1e81534fe07a51543c830748c9ca3b6","datavalue":{"value":"Program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853062$11A7D9B1-E6FA-4940-8AC8-9FE618BD5CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853062$49419CAA-89FA-4F2E-851A-84302746C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daabdc087839ff598fce6cfad6f88d77c526b123","datavalue":{"value":"Specification evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853062$8F8D24E8-0145-4E47-A870-2B2FEF55976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308f0bdfd1805a6f9566985205003bac40d57ef1","datavalue":{"value":"Reconfigurable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853062$18F7AB5F-1FC0-42D3-AA77-012A2D5507FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$8EC5F6DA-AAC4-4815-BA7D-64F9ADCB5318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95441307dd2071cad596197e9745665efbd13dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1095681,"id":"Q1095681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$EBDCF473-DD11-4097-BF12-746662089A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$9B0BB828-1FD5-4431-99C1-2714365E8311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$11378790-3403-4091-B771-BC28EB59B38F","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":"Q1853062$E325B17A-9155-48B3-BECE-DFB1434D9729","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3fe08c5332b236c3ca01dcf7264b52d26f4a572","datavalue":{"value":{"entity-type":"item","numeric-id":4400804,"id":"Q4400804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$24D6F085-A2A4-472D-A846-D00CEB5AF12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a27ea9c6097e6dfed4ead51e72029fd24f7d35","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$214CDA07-AEAE-49DA-BD5C-633907B7BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$CD1E5275-F487-474A-B48E-BCE5D813DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$141D9D40-709E-400A-85EF-74DC4692C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0f6cea992828dc58927aa97d763786c977226a","datavalue":{"value":{"entity-type":"item","numeric-id":4238501,"id":"Q4238501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$A32BA8FC-D07B-4382-91FD-6FD58064494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97822de0c96e208b91c990bdc40ead9b6a9eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":1815429,"id":"Q1815429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$81FE5E08-D06C-4E68-A241-ADCC1AA57927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154510f9c6aea9df1d0a77aca667e3e24e95e40f","datavalue":{"value":{"entity-type":"item","numeric-id":1853062,"id":"Q1853062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$52DB2C01-1F40-4FB0-9635-76FD80178066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1856fb259c73640593d19d72ac5fa4b7970173","datavalue":{"value":{"entity-type":"item","numeric-id":4942098,"id":"Q4942098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$96AE036D-B6FD-49AF-892D-806BC352FEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a2454ea55cfee5516cb80e39af7a8d156fa806","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$193D490B-123A-42C6-A546-C76CD801B0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$11B903EF-1A21-465A-8492-CFF731E9F7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853062$CD36D4FB-C47D-4A7B-8D79-502F952B563C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b979fa8b39dbe867e604a2220ab4282484040ca","datavalue":{"value":{"entity-type":"item","numeric-id":4400804,"id":"Q4400804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4610849b5d4863a4dcfae5886b5716ce0de46942","datavalue":{"value":{"amount":"+0.839983344078064","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":"Q1853062$3743BC57-298E-4A54-B032-646E373D1CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e90769fb3080a1ca4c56fbdef32bd5763345eec1","datavalue":{"value":{"entity-type":"item","numeric-id":2385447,"id":"Q2385447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897b8d0541ef1364af9ee52897d0d33dd11ba5e6","datavalue":{"value":{"amount":"+0.8399831056594849","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":"Q1853062$9903CAA8-DF94-426C-8008-04710607A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c9c971854e58967dd64733cbcf4a189f65b964","datavalue":{"value":{"entity-type":"item","numeric-id":3007246,"id":"Q3007246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34fa8d03837fb87157cb005ac9fa0fa421296e1","datavalue":{"value":{"amount":"+0.7968403100967407","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":"Q1853062$E8424553-94C8-43F4-8691-3BB675E6381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41dceda5b2b67b842f05a750364ee072e559d15","datavalue":{"value":{"entity-type":"item","numeric-id":6097773,"id":"Q6097773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7678e14ad6b1a096fc00763ae77520e9fb55a76","datavalue":{"value":{"amount":"+0.7651935815811157","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":"Q1853062$9166DFAE-E7B4-4900-9D13-E937188CA814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1043ff19514c25d94c1d6e6b9fabb1a8a225df","datavalue":{"value":{"amount":"+0.7557269334793091","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":"Q1853062$EDF6BD93-413A-4CAA-88FD-3B641348F868","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-level temporal logic for evolving specifications.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-level_temporal_logic_for_evolving_specifications."}}}}}