{"entities":{"Q6045003":{"pageid":13179159,"ns":120,"title":"Item:Q6045003","lastrevid":56784669,"modified":"2026-03-23T14:28:26Z","type":"item","id":"Q6045003","labels":{"en":{"language":"en","value":"Exploiting synchrony and symmetry in relational verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689208"}},"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":"Q6045003$FC517A72-ECD7-4AAD-9CBA-55F0F170F4AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b94217240ff4f61b067c8aac5101e45afa77f2f2","datavalue":{"value":{"text":"Exploiting synchrony and symmetry in relational verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045003$74DC45B4-09A2-470F-AE52-860D693BC602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eebede2911bb3b258ed5ee2cf03cb04d2c49445d","datavalue":{"value":"1511.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045003$A7F5356B-5160-42FE-9034-2BB14189545B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba9b758895fd4ccff8869c9ea70c0bcf2f75b304","datavalue":{"value":"10.1007/978-3-319-96145-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045003$5264EDC5-8106-4D45-9742-F44E4F5F668D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49cfe497a0f5be97e04c6a3dbc2928d918c98a39","datavalue":{"value":{"entity-type":"item","numeric-id":2234079,"id":"Q2234079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045003$49FF9842-4981-49D3-9560-6C3503E4C0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045003$A8853559-DD53-4232-82A7-73FEEFC911C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045003$69D168A0-C148-4541-A55A-51C604962006","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045003$A5C9DE33-199E-4ABF-AC4F-3925FA6BDD20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045003$26E3C9B4-6261-4AF5-8E80-0B0AEF5B7822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045003$FFEC5BF3-1B7E-4361-88CA-B1C2AA225520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045003$54813E17-B63F-409D-A94D-6DD5EB70513A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0353209445c846cfbcba3790b45dd94458b71c","datavalue":{"value":"7689208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045003$22C0AA36-C60C-4EB0-A24E-D4E213047426","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":"Q6045003$1C119F6A-73E8-46E6-9C07-EB3ACD383F00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782416097d4f602adc0c0e8fa1d9bffec5838c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5016382,"id":"Q5016382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15280c07030cc5db9bb4a759ea90b5634cd932a2","datavalue":{"value":{"amount":"+0.8160278797149658","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":"Q6045003$A86F720C-5DC9-4F1C-BB00-17AAC509295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60838167d8bcc9840902f7ca040cb6738eb3ace1","datavalue":{"value":{"amount":"+0.7464205026626587","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":"Q6045003$514418B7-7813-4533-87FA-7F18F02D9D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae21a694301765523f3da5b99f95884cfac20","datavalue":{"value":{"entity-type":"item","numeric-id":5410484,"id":"Q5410484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbb68e8e246d0a9c9ba63d457d123df4b90a0f7","datavalue":{"value":{"amount":"+0.7401826977729797","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":"Q6045003$4B778DD5-580D-4FA8-85BD-B040BB68ABDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339516b1d3912a8a65a1d443327df4329e2669be","datavalue":{"value":{"entity-type":"item","numeric-id":2165505,"id":"Q2165505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1490b9e48f0839051905b7c4b466018f5c606d5","datavalue":{"value":{"amount":"+0.7292225956916809","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":"Q6045003$2EA0D34E-8DBD-4952-BA1D-38CFAF3EF165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0819deb17284ae696ab95b266fd2839a405b9311","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1555f43b27f1ed868673597cf75e7f6bcd22dc4","datavalue":{"value":{"amount":"+0.7234838604927063","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":"Q6045003$EBAFD845-968D-4085-8A5D-CCD72AE39853","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045003$AF89ED0E-EB1A-4F27-BB9F-BA7EC115A65B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045003"}}}}}