{"entities":{"Q1801315":{"pageid":1812057,"ns":120,"title":"Item:Q1801315","lastrevid":69168852,"modified":"2026-04-13T05:13:50Z","type":"item","id":"Q1801315","labels":{"en":{"language":"en","value":"Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 195122"}},"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":"Q1801315$BE9990D4-5E03-4EA7-A74C-27DDB00D7D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da6a5fb4657ffb79eec03880db941e6410bb789","datavalue":{"value":{"text":"Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801315$4F664916-4447-4064-9099-A92E4A85DE9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea0ee221e02a1165372e9d8a616598bb233a5fa6","datavalue":{"value":"0718.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$B890718B-10C8-42DF-8360-4E5088EA902D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801315$F40AF533-4704-4FB1-88AD-C8E6F423A211","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801315$BF64E0BE-EE09-4D62-BF85-33040911C8D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$5FFCEF8D-02A4-4783-A164-D6C351C87AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$8337F32D-8528-4996-A103-D1AE062507D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$99F61B4C-EB0A-4073-9AC2-FB51559B106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$40F4E4D4-1107-46A0-8F7E-660A6F0F356A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1430a6f6c8deb85cbb881fa2986b14a12b43553d","datavalue":{"value":"195122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801315$48FCD8BF-B456-4140-B492-33320457DDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$D9D6EF97-31CE-4A2C-A141-C46AE4DFE639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2343a5a8ef11df42c57193030af17e94e3f8b7","datavalue":{"value":"Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$16363C2F-CB5B-43EE-93DB-7C04A069EA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$421B790C-E227-4DDA-A089-BBA8B3C5D997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2b9a1ac696c9200c153db0c92998d08545f179","datavalue":{"value":"Altrincham (UK)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$2C978518-FF04-4EEA-9671-C85B76A65B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$DEAB7069-7215-487C-AC17-9F0B2848B096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$69FF1C31-1C33-4C37-A590-56F61E264C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801315$E70948AE-91D0-46EC-AF70-B4101AC5911B","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":"Q1801315$E71774C1-D617-4F69-BF1D-864E2152D20A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc53fc47ff4616eb88576109b2e5d67807172922","datavalue":{"value":{"amount":"+0.8501372337341309","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":"Q1801315$8338ECBB-96A6-4629-A44D-CC7A6E9ACC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e4a413b77442f5462b413b415b8fe1e8a7f3bd","datavalue":{"value":{"amount":"+0.8466107845306396","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":"Q1801315$77C55746-252E-402A-A6F1-C7043E7F2951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e4a413b77442f5462b413b415b8fe1e8a7f3bd","datavalue":{"value":{"amount":"+0.8466107845306396","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":"Q1801315$09ADBC95-9771-494C-84C5-D8D4ED1B0B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e947b7ba14512de3f5cb120c441f5361309d370e","datavalue":{"value":{"amount":"+0.845860481262207","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":"Q1801315$9138FFD4-8509-4765-9230-C61B9A675020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b12f5510d78278224016a68261f04a59325e910","datavalue":{"value":{"amount":"+0.8354762196540833","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":"Q1801315$5180C279-A065-4589-9528-E98C1272A643","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings","badges":[]}}}}}