{"entities":{"Q5758115":{"pageid":7787666,"ns":120,"title":"Item:Q5758115","lastrevid":50154905,"modified":"2026-01-13T07:08:20Z","type":"item","id":"Q5758115","labels":{"en":{"language":"en","value":"Refining Interface Alphabets for Compositional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185783"}},"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":"Q5758115$2AB9D3BC-50EE-4E19-A2B4-26CECE07AA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"017f845b3d4c5c707f95010c397e424fc8a0fd63","datavalue":{"value":{"text":"Refining Interface Alphabets for Compositional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758115$80499D37-D4AF-4A46-AFF5-F0487B8A280B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b567b0e23c7c73d11f1fadea8f894902b98966c","datavalue":{"value":"1186.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$28358ED0-45F4-407D-B015-D8A9FE276ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826f3d9960b29056e2f51ecca491df96cbfba6d4","datavalue":{"value":"10.1007/978-3-540-71209-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$AAD9F29D-2550-465F-8F25-5E462F82D2E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b3042f97166acdd757178bca8e9bd8e2afdcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3608887,"id":"Q3608887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758115$8E06025A-4DAB-4C07-8DFC-1258DAE9F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a415f4068ebdf29fb12de5f461ea754e84058156","datavalue":{"value":{"entity-type":"item","numeric-id":434439,"id":"Q434439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758115$C8391387-B56F-45A6-A7A0-80EA0388EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309e6110ac2efa5167ce01726a2626b32a049ad","datavalue":{"value":{"entity-type":"item","numeric-id":934702,"id":"Q934702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758115$C3FA67FA-EF4C-41C7-BD74-FB3A0CC3CF96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758115$E4C3F4E0-A0D0-4A6D-8479-556E456CFCB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758115$3360B587-2E2B-47A1-A981-13B7A1F37F42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$45A9B10F-1494-49D2-A8E0-11908728D036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$39679C0C-EADD-49FB-9365-0DE4CA81149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$63E2BA2C-3DE3-4D7F-810A-683E57A9141E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3edf0da672ce8c43f033f9e265ae8455b0dd266","datavalue":{"value":"5185783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$8DC8F1FF-7611-446B-B36B-136805C0DCF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758115$5E2D2A69-88E8-4A92-8D7A-72BEB1C5F22F","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":"Q5758115$16D28450-AE7E-45CF-B47A-C95077E22BB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b44c26ea52dd477ec8a7305eb6ee558831cc2c4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758115$AEA18A98-AEBF-4376-AECF-85A98D1E6945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b605efe5a334b1a231ae5580435b8d6a3fa4f65d","datavalue":{"value":"W1518363720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758115$8F5AE675-16B2-46E0-9093-76C6795792F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344146347e1c51f3f82d6cc41d848d754fbfdb16","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c085510c980789eafb6ed3750ac3fd6329a4a2b","datavalue":{"value":{"amount":"+0.8316088318824768","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":"Q5758115$009AA833-4EB5-4FEC-AB90-6656640E4A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5325a45941cd49436316842615f08eaeb31732c0","datavalue":{"value":{"amount":"+0.8243588209152222","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":"Q5758115$CA0E1FB2-DD6C-4AF9-A074-ED4E90F732BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded7fd504f4e3fa57790437bc43de06e969ffe5a","datavalue":{"value":{"amount":"+0.8173816204071045","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":"Q5758115$FEB3526B-5AD4-4B26-A388-0CEB57FC9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cbc9646658000f14157a61acd3d123352b4d3d","datavalue":{"value":{"amount":"+0.8170360922813416","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":"Q5758115$62663D71-FEBF-4487-A28E-F1E7EE29DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54dbd168fe66e15b93ced455d09502e2365b78b","datavalue":{"value":{"amount":"+0.8124630451202393","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":"Q5758115$31EBDAED-98DE-4441-B3DB-EA368587EA95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758115"}}}}}