{"entities":{"Q5044762":{"pageid":7074339,"ns":120,"title":"Item:Q5044762","lastrevid":54433778,"modified":"2026-01-26T19:44:51Z","type":"item","id":"Q5044762","labels":{"en":{"language":"en","value":"Automating (specification \\(\\equiv\\) implementation) using equational reasoning and LOTOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611287"}},"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":"Q5044762$52D4CB38-73B1-4EA6-92A0-4C683CC508BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8268f193ae58d3ca14dcb5c581f84f918c083c37","datavalue":{"value":{"text":"Automating (specification = implementation) using equational reasoning and LOTOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044762$C2BBBC1B-FC8B-4AB0-ADE2-12F18837A082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a5272cf99facb1ee72373cc8ca24a18af8cfb6a","datavalue":{"value":"10.1007/3-540-56610-4_88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$87C8FB9D-C24D-4042-B5E6-629AFF773336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ecbc3bb735f72ae60d612c84e2f58adb48e2bd9","datavalue":{"value":{"entity-type":"item","numeric-id":5044761,"id":"Q5044761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044762$A1B38E15-29EF-45D3-BE15-D65152E5B8E3","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":"Q5044762$C5CF2CF0-83A1-4AB1-837D-7058BBEAF568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044762$4D7E5F92-7EC8-41F7-92CE-27CC44238D01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$32EE880F-912B-4DEE-8D66-31F39616A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$F2B943E1-EC54-4FB7-AF38-691502A01D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$BCD4AE9D-4C79-45FD-9A50-9A408E74194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$3777E428-4442-4F3C-AC17-931D1F239DB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14cd0dfa9d551baa335d63bbd8d8c07fc6864be5","datavalue":{"value":"7611287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$5F992DF9-DC8C-4F41-9C3E-BEC9A85D3709","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":"Q5044762$F197696A-30CC-48B3-827E-448A5AEA44DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b23cd685232037e43e076a9e2817bcf977d10878","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_88","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044762$6B48D213-791A-4F78-A5C6-60B04851A80F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc56749554bf42eb0c3f95ed130d0aaf58407794","datavalue":{"value":"W1557201940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044762$45197284-8710-4B25-9A5E-262664A0157A","rank":"normal"}],"P223":[{"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":"Q5044762$6B7B3717-362B-4CBC-8C90-68B7E9C29105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c07029c700c0ca920756f856bee2ac8ff2ede7b","datavalue":{"value":{"entity-type":"item","numeric-id":1177943,"id":"Q1177943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044762$295D52E8-D011-4287-AC38-5E3B12482B2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa84da285b36ae6add180c7dc2c1cf875e9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4697196,"id":"Q4697196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8be776ce914880fde3a5a797cf296dd9b53a6e","datavalue":{"value":{"amount":"+0.7212076187133789","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":"Q5044762$721EBA62-C6D3-4C0C-A0D5-3A7AACC2E4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58d2fc04665da4fe3dc7161f89533cbfc0d8207","datavalue":{"value":{"amount":"+0.7210005521774292","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":"Q5044762$0E6D8C9D-0DEB-477E-9256-EB32C5BA9F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd72464fbe757fde9b3b1e7d17afdc429350a03e","datavalue":{"value":{"entity-type":"item","numeric-id":4037094,"id":"Q4037094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5736883431846fe503ae81c37866da225dd16f00","datavalue":{"value":{"amount":"+0.719603419303894","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":"Q5044762$95B28F36-E1BA-492C-A555-1663578C7861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76aba247d4981d3a6ab27d6da08d3287f18d54a","datavalue":{"value":{"amount":"+0.7155094146728516","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":"Q5044762$2F68EEDE-7365-4964-8408-7D9E929EE685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92203812c86bdb674fbb41fa141aa4d621a7b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2763981,"id":"Q2763981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae190720ebca37f0660b9b30d6ea37b7b2ed92b5","datavalue":{"value":{"amount":"+0.7129347920417786","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":"Q5044762$0585BA1A-04B8-4D07-A9D6-5764F61ED9C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044762"}}}}}