{"entities":{"Q1391733":{"pageid":1402473,"ns":120,"title":"Item:Q1391733","lastrevid":71674908,"modified":"2026-04-13T23:48:34Z","type":"item","id":"Q1391733","labels":{"en":{"language":"en","value":"Specification of abstract dynamic-data types: A temporal logic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178200"}},"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":"Q1391733$9453AA14-59C3-4373-9979-FE270FD465DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eab4c9c5e01b8f0b65fb01eb7aaa6c36405a186d","datavalue":{"value":{"text":"Specification of abstract dynamic-data types: A temporal logic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1391733$6F0E4290-EF48-4E8C-8C60-DC19E4E91A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6359334118447dceb4e948d5ff94630c9c1c41","datavalue":{"value":"0901.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$4DBCFE7A-878C-455C-A159-C13BDFD9A945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05bf6a9d6068548da6ec14f18d41f90272924122","datavalue":{"value":"10.1016/S0304-3975(96)00165-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$953F1FF0-BCF8-4BBD-8EF2-D39521A19DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b97cf78de40b88a7d10e29595ef89d14c9040b2","datavalue":{"value":{"entity-type":"item","numeric-id":760417,"id":"Q760417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$F07171FE-4C40-4A08-B808-86900443DEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23362f3a3ca32cef709a9de5af2d16f5a00994cf","datavalue":{"value":{"entity-type":"item","numeric-id":1190493,"id":"Q1190493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$B74D010A-834C-456B-ABB8-514DC82FAF46","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":"Q1391733$86DEEFA3-2DC9-4483-8189-0962295CFA1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1391733$FC2CF9B6-A953-40F8-9BD4-32ECE5740445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$6D0AB2F5-816A-4AAE-8082-0A21F68A3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$5A45588D-009C-49E8-B0A7-8151A89328F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b6421956a73ec292966dc8e7fdb7b934d66ab4e","datavalue":{"value":"1178200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$E84F4DAC-622C-4BB1-A066-32C9B3C34F78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7392fe9b6bc769fccf1db76ca8ea095ee6cae68a","datavalue":{"value":"dynamic-data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391733$470E04F3-9ED1-4201-915C-8715C4FA4790","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":"Q1391733$F0B04EBA-47E3-4793-A194-78C1092CDA90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$479B67A4-674D-41E8-9822-CF8AA2AF0227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed111043db821ccb775dc5d5cbebb333b3905e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1190494,"id":"Q1190494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$CD5B2DBC-C7CF-4CBD-8389-D7CA7B88883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0779226ef64318a06d5a96c294cb13cf14dd7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3030245,"id":"Q3030245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$7B186136-4906-465A-B1DD-2F48DC3A8C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14603adc71cec4b44db8799c28d84177a0142b3","datavalue":{"value":{"entity-type":"item","numeric-id":5950716,"id":"Q5950716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$500820E6-B14E-45AB-8512-713E742709A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b686b1d4ccc66607b984308eca21582865686f","datavalue":{"value":{"entity-type":"item","numeric-id":4856662,"id":"Q4856662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$7EAF9889-035F-4F38-B957-087E601E5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$EEAE3C0A-99BB-424C-9017-D703302E79A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68226055218b583ee61ec72bf074f34611be522b","datavalue":{"value":{"entity-type":"item","numeric-id":3677156,"id":"Q3677156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$5834F219-7E29-43DC-BDBF-D3433D08C04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$485FD246-7479-4619-9349-2CC4BA07B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$062C2600-DF7C-4AC5-B242-D66391F25E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8154d6ac3e833986ed7761f3cec2b041823237e1","datavalue":{"value":{"entity-type":"item","numeric-id":4942100,"id":"Q4942100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$C4B222EC-7121-46AA-ACA9-06036E90813E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cc1091925f56e97900e8d884b9f965287e1aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4035231,"id":"Q4035231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$C35B108A-B14B-42F3-B6D2-8F7F2C9180D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68916fdc762551981859fde23937a7581cfbb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3320351,"id":"Q3320351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$69FB4C3A-922A-46FD-80C3-D6480D53AF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$6311E4D2-2ADF-4C91-BB32-68D1F3877574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54499fccac17f5e6494c378336ebfab7b5b6f5","datavalue":{"value":{"entity-type":"item","numeric-id":3917479,"id":"Q3917479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$95B60D2D-B082-4E28-AF97-E59ABB8E902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$A7509E2E-E428-4677-AFBE-6F1F8606D0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9caa1d1b0ee5624d20f31b6f67068bf943c71fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4299864,"id":"Q4299864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$1E2EECE9-C0D5-4C13-904C-8AFCBF1D8AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$95D7408D-D849-4ADD-85AF-E441FEAD64E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af928acf08b68528adb4596e9ec25b92fb56f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$19A5EAC8-A79D-4357-B1D3-12864186E659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$7230A820-C45E-46AC-9CD4-3A138E349040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$8D7E090B-C9CA-4ECD-A753-98CB4EA0F1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d41888243cfca281ea72041190167a6930872b","datavalue":{"value":{"entity-type":"item","numeric-id":4942101,"id":"Q4942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$A8D4613B-66AB-470A-98F1-5167509BA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$5F0970E7-BEE2-4C19-A0E4-A1B50A2A3F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$E7B7B072-B18D-43E3-B62C-BF31363C091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$C8EFFC0B-66F3-47D5-9216-E6EF0AF3BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487ed7bcd02d85601947a9754fdedfdc5d2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$14BB54B6-1D72-454F-A642-A51214E8FA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$FADA0D76-6F9E-4556-B4A8-19F348E24A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$B06B1856-D2E2-4E6F-BFC8-E316BDE4DC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$8084C161-7507-49C1-A3B6-48DCA209F821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$FA6BB2AF-3042-46A2-A04D-8FC096B880E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8e7ce7ba49e55329487a7eb0ac790949d49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3871917,"id":"Q3871917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$6495F19A-6B71-496B-96E1-60CAD8C28903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c69726f68d9bfc2fd098a35047b7394854c18e2","datavalue":{"value":{"entity-type":"item","numeric-id":804305,"id":"Q804305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$1CBFE956-9C02-455C-9A7C-A81D51514512","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":"Q1391733$386D8D7D-7BBB-40CC-A510-2D349F5AA82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$836816BA-22A6-49D0-87D2-0311A8A8F671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8096ff2b79f777986bd312c2940f9382daa21b32","datavalue":{"value":{"entity-type":"item","numeric-id":3769950,"id":"Q3769950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$3FD00B10-5B56-4E72-8E0F-F3255849B7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$E14498EB-1C57-4356-A90E-87EE6EDEA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$79372F1F-D76E-48B2-A8B3-D2209E56A303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391733$B9E5AD57-F0EA-4282-BA57-F7CCC277B828","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ad7134da82ae56d47d004ff6fcde14a9dacf92d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00165-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1391733$2EEBD439-8AA9-4027-AD2A-24998F19E156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fffa7426181cb03e391374216b39b4a4cde9cd4b","datavalue":{"value":"W1982962901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391733$37D97820-E199-495D-AFE6-EBB01B538C25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9379b1bffe85a86cbeccfba237f5e3dc55224b9","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bc341a888babeb6204545e2c7ff8f04f83bdce","datavalue":{"value":{"amount":"+0.8475304245948792","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":"Q1391733$12D69F9C-72C5-48EA-B592-9016A614816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacc3906c7a8b47396cdb236ab095fc754e98840","datavalue":{"value":{"entity-type":"item","numeric-id":3769950,"id":"Q3769950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6e65d4fb5a6c8137837dd7a9bb8038dcecc93f","datavalue":{"value":{"amount":"+0.835667610168457","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":"Q1391733$B010EC3C-7797-408D-A655-C98C5DCEC9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731dc2b907e1f3d85cb35484f9b6a76814363f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1366311,"id":"Q1366311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f62c9996ef635a14e95e1f76ba27b75ea66c1c3","datavalue":{"value":{"amount":"+0.8024035692214966","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":"Q1391733$B8135902-65AE-489F-9510-76DABDAB7822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d93da41302d7b0ad99ac904358cf6569f36777","datavalue":{"value":{"entity-type":"item","numeric-id":4763509,"id":"Q4763509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b3b015401fdfcca4b405bba6ac7f8646dfc562","datavalue":{"value":{"amount":"+0.7973452210426331","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":"Q1391733$6139064C-60FA-439E-9DE4-9C996B8F36A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53d65ddb94015c8122ac8eedd1cc94635bd5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3696493,"id":"Q3696493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4477e7ba800b2fe0efeacc01bac0f46725e710","datavalue":{"value":{"amount":"+0.7952938079833984","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":"Q1391733$F5AC1E4C-0A34-4C36-9419-A06A4A888141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification of abstract dynamic-data types: A temporal logic approach","badges":[]}}}}}