{"entities":{"Q3651280":{"pageid":5681186,"ns":120,"title":"Item:Q3651280","lastrevid":50847032,"modified":"2026-01-15T09:54:12Z","type":"item","id":"Q3651280","labels":{"en":{"language":"en","value":"A mechanized strategy for safe abstraction of CSP specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5644305"}},"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":"Q3651280$81BA325B-E8E8-4EDF-B154-E2BA8550AFCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44094470d266764e65143618308706e16e867f01","datavalue":{"value":{"text":"A Mechanized Strategy for Safe Abstraction of CSP Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651280$917BB50B-A4CA-40FD-9C8C-F84D6255D052","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ef6e9543d2b8ad7bc2b7fd4f13530f55c45faf","datavalue":{"value":"1266.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$973EB58C-07B1-4C00-93B4-51F85D7A3874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2d82a5ba1dd39743c91b65d1cb72c759c476eea","datavalue":{"value":"10.1007/978-3-642-10452-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$92321BD4-17E9-4E23-8731-6D5F6EA5CAC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"546e6c8bff5317d9acfe11652460712df4352ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3651279,"id":"Q3651279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651280$2E1AFCE3-C3FA-4B4C-9402-8A3575982075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"262941dda189ef17db405fbd95aa5c87ce771f20","datavalue":{"value":{"entity-type":"item","numeric-id":3625028,"id":"Q3625028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651280$92603637-5E20-4C78-9925-E0A082191C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7adeca81e015c1557520dffe4e77927ba591c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":175411,"id":"Q175411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651280$8EDF9F5C-52C7-4864-8E36-8A3FA0F4B2D7","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":"Q3651280$0BEE7BEE-7F16-4A29-9EE8-8D6EDB16A87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9dc9012af01361476b44df692f016594cc25fae","datavalue":{"value":{"time":"+2009-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3651280$F8E0225D-7506-4754-BAE8-7D78597814FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$0DD448A0-3505-4CF8-B729-47A391C672CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$10F35B9F-7656-4A06-AB02-DF50C7874813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfeb131f27085ab1e30979df3908e00fb3fdf361","datavalue":{"value":"5644305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$67A73BA5-99E5-4C4A-BD29-852DBBCFFCE4","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":"Q3651280$149ACD15-0900-4D32-846B-4F34B88C1473","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68dce8441939dc2220378ea60e27b809738acad1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10452-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651280$17510864-05BF-4B60-8F61-C7B349396591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ac8918442a84846978bd987eaaa8106b46b6542","datavalue":{"value":"W1529204695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651280$3DC6DF89-6D97-4DBF-9CBF-086E8FDFF578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9848a8705e3baf92ddf5a77132061d5bd14e249","datavalue":{"value":{"entity-type":"item","numeric-id":4808828,"id":"Q4808828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffce512fd57046af7ac0813b6490fd79a51e737","datavalue":{"value":{"amount":"+0.8506989479064941","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":"Q3651280$56A40A15-27E2-4A04-8816-B53A70C3CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1770bf13bf3d9df5762af0850a006c971e46c0db","datavalue":{"value":{"entity-type":"item","numeric-id":5901609,"id":"Q5901609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fd07227666d07d775f7ec81993d73717dfa68a","datavalue":{"value":{"amount":"+0.8164311051368713","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":"Q3651280$F590330E-3FD7-4092-A13D-DB44ECE06AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae6214dfe2246e95631454730d4191066edb51b","datavalue":{"value":{"entity-type":"item","numeric-id":2810979,"id":"Q2810979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f5d89752273fb26b5b1cd954376481ee0ffbd7","datavalue":{"value":{"amount":"+0.7699328660964966","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":"Q3651280$0B425791-C605-494B-9D53-7B428339FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2417a466a07fdd4d7f288841ed2eac9fb68f0aac","datavalue":{"value":{"entity-type":"item","numeric-id":4472179,"id":"Q4472179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1826c2210281bba59c54dac7b492ce4f9b23f87","datavalue":{"value":{"amount":"+0.7633873820304871","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":"Q3651280$17EF220A-8F20-47E0-8649-29846E63F915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4878da03f20284208a5160325cf8dec74312d0","datavalue":{"value":{"amount":"+0.7551948428153992","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":"Q3651280$8A699E6D-7F31-4833-8DB5-DB7732312C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3651280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3651280"}}}}}