{"entities":{"Q671674":{"pageid":673523,"ns":120,"title":"Item:Q671674","lastrevid":63589311,"modified":"2026-04-11T14:11:13Z","type":"item","id":"Q671674","labels":{"en":{"language":"en","value":"Assumption/guarantee specifications in linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983438"}},"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":"Q671674$215AD53D-6D08-4393-92F6-9746926D93C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9125cdd7420e30aa08b555b8bbfceb8b3795f9f8","datavalue":{"value":{"text":"Assumption/guarantee specifications in linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671674$B9CC7370-7B5B-4FDB-946C-36256DEC14FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44b4334827765810dfa92cfefedca75d65310d70","datavalue":{"value":"0874.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$96850A30-BB3A-4D4B-8806-E09C2A6C0B67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a1b2ef874e64b5b938d870cf127c2d519ad2635","datavalue":{"value":"10.1016/0304-3975(96)00069-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$FF8FD4E5-D682-46B5-964D-AC223FAF1CFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$A3B84BD6-8DDB-4AA1-95D0-9BA223EF3AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$584C83A8-11DA-4F3E-A843-D4CC8BBDD262","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":"Q671674$B297E1DB-805E-40C4-A21B-8BDCF996E4C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671674$5DFA9300-7597-4F32-8DC0-987618AA66BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$C6C71070-6E26-4C12-AA5C-6403C89A52BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$D0B673F9-2514-4625-8780-927ED20B0C2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683499a15e09c7fc0b856ea63b0b067b76d756ea","datavalue":{"value":"983438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$F2B46A3A-190B-4E02-844D-01F468F8B1D7","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":"Q671674$699BFF18-26D9-4AFA-9E05-B75193887427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a55a6b2fde306ccdbbf34a0e8f128ee00b8d63e7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00069-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q671674$8D7E3A87-66D9-430B-B7A2-D0C74C03E975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c60c577df23b0b82f2af5cbb01cb9cf765890644","datavalue":{"value":"W2001219520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671674$3993EC8C-4915-4768-AEDE-4B48BB87099E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$7BF6499C-6EED-4D14-8442-B733A174A11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$FAA88E6F-60F9-46FE-8A55-3DC25345C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$1D43DF2A-8B0C-436A-B0D5-7464FC4762A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52b6235d0b1ae67d017ad3c8035a0dc3dd6de9","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$F1C7ED7A-3D5E-426D-BA75-50BBDC2DBD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7f4160bf195ff46d24997fcffa2a7e2f623cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5044739,"id":"Q5044739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$4EA4F2C0-592C-4313-A66F-A4A3A750B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10df83b1343d5f8b9fa70a40a56d259d3c8cc001","datavalue":{"value":{"entity-type":"item","numeric-id":3359774,"id":"Q3359774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$CA158DEF-887F-4A7D-B7F2-A1AC8CD0233B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$417B7319-63F5-4A6A-B37C-410C142D6C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$BBF26E20-6AB0-4758-AA1A-2E54360288B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$DAD41116-EEC4-4E4C-B580-CA90C0E83CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6677ff68ddafeb7a383b19df7a9fd04197d4eef","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671674$9EC7095A-F0B5-4F1E-9D70-C0371B3C3FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ff7e2a38279de5c76356ab6d044a090560ee58","datavalue":{"value":{"entity-type":"item","numeric-id":5096736,"id":"Q5096736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff3605f1482b6940c8b5927bd56030a821a4e16","datavalue":{"value":{"amount":"+0.9576547145843506","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":"Q671674$90A566DD-DAD2-481B-9881-D01EECAF24D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cfc4a59519185cae1206f9cdd4e4f259793d60","datavalue":{"value":{"amount":"+0.8206813931465149","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":"Q671674$CBE063AD-B908-408F-981F-29A36B31E2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244008a9b1bf5008ba36cbc2fdea0c6427de03cd","datavalue":{"value":{"amount":"+0.779542088508606","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":"Q671674$2A487967-F2CB-4E0E-B25F-4E1501565FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e5f41365c5d9b350f6af69bb3a8ef9e0cc0b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c556c73ef7bed9637964b07673965699e46c7f","datavalue":{"value":{"amount":"+0.7752745151519775","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":"Q671674$971E653B-5B28-40C6-9833-B8931ECAC738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f20498f2d40cceca1d47db85b240429b6c6b56","datavalue":{"value":{"amount":"+0.7623561024665833","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":"Q671674$75551383-5B94-4F3F-A47A-6119CA30B999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assumption/guarantee specifications in linear-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Assumption/guarantee_specifications_in_linear-time_temporal_logic"}}}}}