{"entities":{"Q2988673":{"pageid":2999397,"ns":120,"title":"Item:Q2988673","lastrevid":85488800,"modified":"2026-06-03T08:55:12Z","type":"item","id":"Q2988673","labels":{"en":{"language":"en","value":"A higher-order logic for concurrent termination-preserving refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721348"}},"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":"Q2988673$7385AACC-BBB2-46A0-86C2-5C002E2B5801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfa06f8e0c0bd5a301955cb287059caf2476832b","datavalue":{"value":{"text":"A Higher-Order Logic for Concurrent Termination-Preserving Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988673$99D815D2-02A1-4AAE-8079-8A1F42D83201","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e17036215721aeb7415a3741879978d09d9ca888","datavalue":{"value":"1485.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$C6BEA550-AAC7-4642-84F9-F07B372B14C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d619e13f2280a63220666d29ca39b28b0f56858","datavalue":{"value":"10.1007/978-3-662-54434-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$BD6DFD0F-A494-4C6F-B305-2688128C2B97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42a7c044f685381cae44f067f7929981ec564ee","datavalue":{"value":{"entity-type":"item","numeric-id":1791201,"id":"Q1791201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$83699365-8FE3-4D41-83A7-0F57883FFC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ac7c2bfaf82ba55b6a35abd98376a3b7761778","datavalue":{"value":{"entity-type":"item","numeric-id":2819851,"id":"Q2819851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$FA56F762-988E-4A8B-8EEC-1F59525BC564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$0487F5E6-AFEA-41FA-B428-E41FB8C089C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$E563F1E8-C681-45C2-ABB7-DAF5F1063053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988673$1CBE5642-4BA3-41CE-810E-AFC48C2FD39B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"041f75addd6d41f9bc003d94fe73f95b1a598d2d","datavalue":{"value":"https://arxiv.org/abs/1701.05888","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988673$805319C5-CAF4-4887-94B9-6121E4E17223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$FEC4114E-B3E4-4FD6-84B5-91662B705482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$369459C2-213D-42D3-9CDD-1A348C462ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$560DED54-7EDA-43A4-A2A4-0DBB70FCF488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$1F2DEC26-22B5-42EE-B6D5-BAC2E26B13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$B294C1D3-AD75-47C4-89AD-448901913B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$E80839B8-4230-4035-A951-6662F4FE1F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beae676132f33423ab41cc74174d5ba8688dd2bc","datavalue":{"value":"6721348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$99156BB1-3403-421C-A1C1-A6DADE4B15F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$0889F22C-C994-4504-ACF2-47B518DE8270","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":"Q2988673$6F8BAB7E-2BF8-4F19-8A3F-4245AE2E70F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2099e246456e2735d588c73eec849275b4c3fce4","datavalue":{"value":"W2581223864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988673$D036E80E-3B47-4CDB-A6F9-0ECE713996F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$7A50AEC8-257C-47D8-BC88-4BE3AC081EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5043e724b4109507199e666f83385ead2d40874","datavalue":{"value":{"entity-type":"item","numeric-id":2851672,"id":"Q2851672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$7BD56535-103E-4F57-99C1-A558E35EE27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09b3091108c83af9f420dcf6fb2ccd5964c49c8","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$0EC29DB7-E548-4F63-A7D3-26E863C3B955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb26cdf1cfba5d6136c14c42a3ddbd8559c1987","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$D175B8CF-9CE8-4D62-90DB-E3D4D0D7AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b85f642234c28ca69edae9726642ba7a91a18cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$93677BD5-BEC7-4097-884D-D5F20B45DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$6585AE10-B87D-4EB9-A9CA-E5E7D044878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$84787BC8-FA74-4E32-B69E-3E8CB0F31335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$A5C3CF20-61EF-4987-A605-4CB92089E871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$10C1C2EF-346C-40EB-9CF6-57D40D01045A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14071140e544a295bb09453a3aa376984e3619b1","datavalue":{"value":{"entity-type":"item","numeric-id":5271049,"id":"Q5271049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$C69A8454-D71E-485C-829C-5FB390A332A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$ECE5993E-5F97-4787-A113-7D0222D51B87","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":"Q2988673$CFCC2DB1-6E8B-4CD5-89CD-1A21B9660A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$29AC9EFE-D035-452A-B08E-C7F4D58BCE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$074386AA-7A24-4793-B843-14ECBD0477FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$B405E073-470C-45FD-A891-AB5C257D4F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681a65ada81de2ed1c1487277cf09c6c785f330","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$72EAE852-8E38-4A2B-816F-456E97022D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$9B9406CD-3859-4201-95B6-2A99111B1B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7ebc3d91699f306c1b447842f52b7923bb4426","datavalue":{"value":{"entity-type":"item","numeric-id":2828283,"id":"Q2828283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$5714B27B-ACEA-413E-84AF-542416E2A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22073dba18da781b72b790afffd51921c6edcb50","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$518CEDC6-DFF4-495E-B5D9-EDBEDDE7FC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$D9B05D04-3D3E-4139-ACFF-1CBC976829F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$B80BE0D1-6B2B-4650-BF2B-33E1AA12871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c2fcbad6542ce45729c4f97ee9845ed27114c","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$5D57D531-CCB3-4ECB-BC04-B96509984D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36cd773aabf189aeee9f5a8e88141bd0e8f83b","datavalue":{"value":{"entity-type":"item","numeric-id":2802477,"id":"Q2802477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$16ABF4FC-C5CB-4DE6-8CB0-E7323E5794C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$A200C091-D71A-4BF0-90AF-BCBA149515CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f12d21decb9451f909186269a829bbc414cfdd","datavalue":{"value":{"entity-type":"item","numeric-id":2802498,"id":"Q2802498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$5FF33E23-F8D9-41DF-A7A6-3822EFB86FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2fc056175fb700aab013dfe495e26d2fc50887","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$F276CFE1-3130-4F14-AA44-57EEA73188D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$44C327C0-C2A2-4120-9872-0F70E5BF39C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$90074C85-EF3D-4DA8-AFE4-EAF3AB975D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$5B798D16-3F88-44BB-878B-8E0348F988EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$CE531272-983E-43D6-839A-B7708BED60EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7276b4009d795bf126c0762d7777e26733b0024","datavalue":{"value":{"entity-type":"item","numeric-id":5014814,"id":"Q5014814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$00DD7D08-86BC-402F-8448-B9C3F5742357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdb65d4484ce30066c940d4e4480dbbf233292","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988673$A0D21B44-98FB-405B-ADEB-DDAD07ED43CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4c2d31bedd4d37c446a8611d46d3282ef66e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a33808f9e93733b41213fd5abea1e1f3bf8da7","datavalue":{"value":{"amount":"+0.7850756049156189","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":"Q2988673$507F243E-042E-4B81-BEA0-E515813EAD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5459bc8d0e371653fcfd9203789d11864dfbc4","datavalue":{"value":{"amount":"+0.7605260610580444","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":"Q2988673$3671A4FA-1A25-4920-825C-069A2C8C20F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d3caa6575d2b141121826ae0c64ec6b7eba791","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c818832cf6f89287b9a800f9cb94bc7546f87392","datavalue":{"value":{"amount":"+0.7604696154594421","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":"Q2988673$E6D57E11-3BFA-47CB-BC12-EBEF6CAD53A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b626a6ee670e60e213e9a7842a129770bc54fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e4febcdf319943ae285e30d546a96ed5ebf6a0","datavalue":{"value":{"amount":"+0.7522504925727844","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":"Q2988673$BFC8B84A-E279-4B92-BEB6-E0CEAED50F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949707000fab69b1d10d52327301950a9fd5c6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d830dd593a6de64de41282360ee233f7a77ecc","datavalue":{"value":{"amount":"+0.7350893616676331","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":"Q2988673$29C2912B-5E3B-417B-97BE-657BB08EECC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A higher-order logic for concurrent termination-preserving refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_higher-order_logic_for_concurrent_termination-preserving_refinement"}}}}}