{"entities":{"Q3557085":{"pageid":5586989,"ns":120,"title":"Item:Q3557085","lastrevid":50969003,"modified":"2026-01-16T00:02:29Z","type":"item","id":"Q3557085","labels":{"en":{"language":"en","value":"A polymorphic intermediate verification language: design and logical encoding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702251"}},"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":"Q3557085$AA57ACFF-9FF8-47B7-A1EE-04C1CBF2E660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60947edc6801b75688a3cff6cd150b97b572597a","datavalue":{"value":{"text":"A Polymorphic Intermediate Verification Language: Design and Logical Encoding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557085$A8DE6412-F8FE-434D-9C02-648D12FAF647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de7d646b03355277e0e3e43597931f37c7c0ddeb","datavalue":{"value":"1284.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$8D6F5FE5-4A1B-4233-802D-3A5502B73B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53f516f5e09b6a33d914818afcb21e05669ebaaf","datavalue":{"value":"10.1007/978-3-642-12002-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$299797CF-DB51-4427-94A9-34DC12136C5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$0A0D07D8-C923-4298-AF86-55225924C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$196CA7F3-46C2-4239-A459-79A7E8E4B325","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":"Q3557085$5975A44F-D348-447F-B989-AB54DC0E8575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557085$B5420DFA-77DA-43F3-8DA7-494522E6F6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$24ACCB97-EF5E-4016-A814-6614DE3B0261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$19AB8843-F975-47B0-9879-0C1235F65603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$72B666BE-F65C-40B3-8D16-0B9A4BA3F0B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b5061db65764b55a9fa75ea1e16ec41d891bd31","datavalue":{"value":"5702251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$6CC8D3A6-6986-46CE-A41B-B96AFD5688A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$A31A92B7-57A0-4C9F-AC75-131E7266DDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$FCD11F5F-4CC7-4AFA-8DDA-837F6C1104FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$4939DADF-5A62-4057-B1E9-B893AA6128CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557085$0422617F-D352-4C5C-B77A-EA0DA904BA01","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":"Q3557085$698FD168-D8C6-4C6F-9C5A-1BE1FD2062FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51baf78b388471683c6c400083bbef5872a42280","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557085$864FD4F7-9803-45D6-8BD9-3E10FEC60B0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"279efd976c6ca80631acae09826fdeb71d8dc323","datavalue":{"value":"W1946187443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557085$43F3D0F7-AB2E-4FB1-8FCD-2C6855A6D79C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c31bc4ac70f3a4595fb667a52ca7b1945ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":2102933,"id":"Q2102933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362eb4ae137383b0e0734b2e6dedc246a510693f","datavalue":{"value":{"amount":"+0.7807037234306335","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":"Q3557085$7DAF08C7-ED2D-482E-AEAD-CA58CC3FF895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe645292520f4c75932c7063dfdc1ba05895a05d","datavalue":{"value":{"entity-type":"item","numeric-id":784116,"id":"Q784116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb104a56a5f95dd81e61feb6af7a8543893b4c86","datavalue":{"value":{"amount":"+0.7276368737220764","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":"Q3557085$4E1E7E29-2C91-40F5-B3C9-89BAFE020F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2969032012922ddb21c6cdf39ed8ed34db5a8b98","datavalue":{"value":{"entity-type":"item","numeric-id":3599104,"id":"Q3599104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0845ace07b551bf3c3e144731d944089697cc16","datavalue":{"value":{"amount":"+0.7241364121437073","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":"Q3557085$34042514-C57C-4B5D-9549-ABBEF276743A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81db5152a3ff3b57cf4713102327e0e88d26cbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5743596,"id":"Q5743596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15add2f7e3a801deeaa407eec946b83e7b406ab9","datavalue":{"value":{"amount":"+0.7076988816261292","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":"Q3557085$10EEA230-B31C-4301-803D-9AFA6D21B857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a601cfde3006cf82c00d658779dadb2e2a7db9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5387852,"id":"Q5387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7279613b5d22f548cd2172d95f9660d2db6e0661","datavalue":{"value":{"amount":"+0.6809574961662292","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":"Q3557085$7F9B95A8-9912-4735-9657-49AB2D41B7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557085"}}}}}