{"entities":{"Q5881450":{"pageid":7911001,"ns":120,"title":"Item:Q5881450","lastrevid":47824294,"modified":"2026-01-02T19:24:57Z","type":"item","id":"Q5881450","labels":{"en":{"language":"en","value":"Systematic Refinement of Abstract State Machines with Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661920"}},"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":"Q5881450$8EC5CC92-E505-4307-976F-70EA0C7B52C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e2dbfcc749b5b074292375c885401c61395c8ae","datavalue":{"value":{"text":"Systematic Refinement of Abstract State Machines with Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881450$95D6288E-B633-487B-AE25-040881F8DE20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5c6142f8ac36051e8aee29e093a05bfa2d540ff","datavalue":{"value":"10.1007/978-3-319-91271-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$D199EE64-A0BC-4E78-987B-7CDCF3E68B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$8FFB0405-A1AE-4B88-B584-FCA20CCB3DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28b78b434cf4ea33003a5839b776b7d5ac53839","datavalue":{"value":{"entity-type":"item","numeric-id":1685918,"id":"Q1685918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$9613BD8C-91BA-4BE8-910D-1DBA34A00D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$93606A4F-B830-488C-A432-C4FCE908DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$DB2A6F52-63A4-4C9B-B8BC-B542F4A4EEFA","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":"Q5881450$55726568-F516-40FB-90EB-2B5395FC4374","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881450$320F49E7-B69B-4FE4-A045-4759D6073007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$A436D1F4-C263-4F83-8CF8-5DA39CF910F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$5035AE85-7943-49EE-8800-A1D984742B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$94D133B4-0AE1-42D6-9538-76FE17F28233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff9ad145e471539149b3b5b45aef9dec74867b7","datavalue":{"value":"7661920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$A85406FA-23B9-4F74-A101-E9705D64EFAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$6764A6AE-46C5-43B3-97B1-3F05C7FB9D9F","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":"Q5881450$C5605B38-50F1-4591-8612-08E8DB48D114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89164117b6f20082c70e54f6039ea2f41dc359ce","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881450$9F1254EF-D923-4FB8-AB33-857D3B300E11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be2a4f5466c94bf0a5ca05649f3802a2218cdfc5","datavalue":{"value":"W2801225806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881450$5603758F-629F-4124-BA9E-A0F2AF6EE4D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$AB396401-C6D3-4B3B-AEBF-6435696C875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4417f4ccf31e03030a47b7f7d0b8893b78aae0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3082946,"id":"Q3082946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$29B97490-5024-44E1-B918-0725E942EB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb0ed296864b4ccadc41a97a5586161ae30106d","datavalue":{"value":{"entity-type":"item","numeric-id":3396617,"id":"Q3396617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$0A5F4B76-4EBB-482C-95F2-FB48A0FAFCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$EFA0034E-1900-4D5C-AB1A-43FEFD802727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec06257c029bf1b731815e2de92c31bf9e67d458","datavalue":{"value":{"entity-type":"item","numeric-id":313981,"id":"Q313981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$ABB7D9E1-4AC1-4A05-B8EC-14B85323282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055e28b58d52815611c187a2e927105a88953565","datavalue":{"value":{"entity-type":"item","numeric-id":1685920,"id":"Q1685920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$539A374B-358D-4E11-8182-342F4228410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610ddc4f835e5c8cfce68b30a2b6085269f3190","datavalue":{"value":{"entity-type":"item","numeric-id":5176677,"id":"Q5176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$25FA2892-13C6-4788-9B55-47ABA30EFC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4ce94fd036d8df30174fe6ce726c33ab9a507c","datavalue":{"value":{"entity-type":"item","numeric-id":5419118,"id":"Q5419118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$BE7AA52E-D055-426B-99A0-703D0603114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d5d8fde99132830662fa17bd0550f6f8405b2","datavalue":{"value":{"entity-type":"item","numeric-id":2369013,"id":"Q2369013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$75C5808F-EFD1-4CC7-94D9-473D0A452F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$6C316865-CD06-4F0A-8F62-D7C2E8FB9FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$6F6F2EDC-7F11-4FA8-8537-B8AB6C0DACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7ff13d8e0789c79a3987b3a2034d26aeb38ad","datavalue":{"value":{"entity-type":"item","numeric-id":5478325,"id":"Q5478325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$AF9BACF8-4E8E-4D31-A93D-23F97F976201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05034ea26869e2698730db6894356aa44e577a02","datavalue":{"value":{"entity-type":"item","numeric-id":3077363,"id":"Q3077363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$7DBEF7E2-ADD6-4AA3-8688-B9090AEA062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b37515fdc08ca906eff377b506c9d42f32ac0b","datavalue":{"value":{"entity-type":"item","numeric-id":3075232,"id":"Q3075232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881450$70640EBC-7FCA-4BD2-8CB0-A08761FE523D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1075ccf2d7ea292d196dc4831843b25c595dd","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4965462440b077def7c0784450c7dd1d83007b","datavalue":{"value":{"amount":"+0.7150712013244629","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":"Q5881450$982D8E37-99C2-4344-890F-B0663B75D0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5acdec1b495a50690f486e1f6457b146033ec90","datavalue":{"value":{"amount":"+0.7062069177627563","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":"Q5881450$075F1943-DBF8-4D9A-BAED-5079D466D4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bddd230a01e92aac94c57aa490f047dc892c7f","datavalue":{"value":{"amount":"+0.7059513926506042","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":"Q5881450$8494C0FD-078A-4002-ABA0-030117EE338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90830764c4a87b18fd30587bda6793c6ea9e6bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca35731bfa7636caaa6e67c82732987ff1e3c136","datavalue":{"value":{"amount":"+0.6953849792480469","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":"Q5881450$B55940A6-FC33-4AE0-ABE9-EF4D23638D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d61e9595829f19a02a850368f4c587275164c0","datavalue":{"value":{"entity-type":"item","numeric-id":4502818,"id":"Q4502818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c139dd2c5b57d924d68918cd2a7df64f4c44b4","datavalue":{"value":{"amount":"+0.6946526765823364","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":"Q5881450$4DDC9DE2-1C1C-4D39-8067-FCE687EE22F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881450"}}}}}