{"entities":{"Q5096736":{"pageid":7126312,"ns":120,"title":"Item:Q5096736","lastrevid":54383489,"modified":"2026-01-26T17:56:06Z","type":"item","id":"Q5096736","labels":{"en":{"language":"en","value":"Assumption/guarantee specifications in linear-time temporal logic (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572969"}},"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":"Q5096736$BFD0E115-1C39-4F95-9423-54E6F30C1EA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3934063bc10fe73b9d0a5e01cc18b29250646cd3","datavalue":{"value":{"text":"Assumption/guarantee specifications in linear-time temporal logic (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096736$00375EEE-67A5-47D4-9617-5B9A506DBA2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80cdf53f17b4de6c4a5ed1dedce5a15b56c577b9","datavalue":{"value":"1496.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$990FCA7B-E79A-4955-AF6D-C7E0C5E0F644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1fd30f59a62fdec2e3636110aef96218de7a8fb","datavalue":{"value":"10.1007/3-540-59293-8_200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$1CA42BCE-48AA-44D0-874B-06243D0347A9","rank":"normal"}],"P16":[{"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":"Q5096736$0405E5DE-4ABB-42D9-A64E-A04A18FCE4F3","rank":"normal"},{"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":"Q5096736$F0EC4663-9F74-445A-9F76-15C435A11756","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096736$00CAEFE1-EB05-4CD9-98CE-99AD6DC82435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096736$B89B44C1-FEE8-4D44-90D7-014598B89784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$22CED099-0C28-4A3A-B29A-E96BDDBA3253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$79E8E0E7-1798-4688-AC6C-DE2887F5A0FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1590cb12edfba397f2bd16e197bb601ff562062","datavalue":{"value":"7572969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$FE1E4CCD-1874-44B2-AF75-F811629783F4","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":"Q5096736$76026DCF-6B8C-4AFF-B7B2-D4F20862F56C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c913951adff70d680b22ad8559de420aec37c813","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_200","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096736$57766D58-513A-44E0-93EC-A7C3E0C2A63C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04e67b9f4507bad45b8aacb0f17b946d9647c501","datavalue":{"value":"W1508646243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096736$CDF3876F-4866-422F-9425-7B2B452885B0","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":"Q5096736$49724A40-BDC0-49BB-8E6A-C393A849070E","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":"Q5096736$6B20C54A-30E6-45BD-8CF2-CEB78E4C1E33","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":"Q5096736$B1BAEB83-777A-41C6-9317-73980BEF4815","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":"Q5096736$A95DB754-0132-4F59-A7B1-FD9CAFECD0AD","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":"Q5096736$8720A39D-6F89-475A-B46E-8620B35251E3","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":"Q5096736$0FEC5F61-EB21-4897-81AF-E81F91B457D5","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":"Q5096736$BC6D24B9-96E9-4FE0-B3F7-16644F66D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e969e61fd0929fd6a4041f5e3ec0b094f53487","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096736$2A48EB7B-D93E-4820-9F01-7FC9B2666720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096736$B6268A1C-FA87-413D-8E74-AC2852106C76","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":"Q5096736$42B5A230-0CA2-4080-82D2-434711944A79","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":"Q5096736$560EAD57-F6D6-414F-928D-5501807A4508","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":"Q5096736$E44495A3-8E88-428B-89CC-06B13D723CEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f049ec084a6525b47eb3a7fe93a96dc3335d24","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"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":"Q5096736$0B1EC809-485D-4007-AB5E-6204705059B4","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":"42aac577a754be12e44c0f7ca817372d6e8bc864","datavalue":{"value":{"amount":"+0.8164042830467224","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":"Q5096736$1EC5EAA3-C684-4058-A2C5-356B934E4190","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":"d5c3c40dd419bbf57e73c45e1885b0be28447dc6","datavalue":{"value":{"amount":"+0.7546623945236206","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":"Q5096736$6D5071AF-F8A1-4666-A859-FD35A126655C","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":"246bd574a9e7e7433fd24bc30dd0476390250624","datavalue":{"value":{"amount":"+0.7494556307792664","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":"Q5096736$29614931-D667-46AC-8E37-0BCAA00CA3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06e59a939e2919b1f5d558bf7e73fa09410b427","datavalue":{"value":{"entity-type":"item","numeric-id":3081245,"id":"Q3081245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b188ca6f89c5e73642e8f44b5707ae7453493088","datavalue":{"value":{"amount":"+0.7298544049263","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":"Q5096736$3AA06FC8-BB13-473F-BFA8-6613FA2E5D3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096736"}}}}}