{"entities":{"Q6045011":{"pageid":13179167,"ns":120,"title":"Item:Q6045011","lastrevid":93746489,"modified":"2026-06-05T05:01:49Z","type":"item","id":"Q6045011","labels":{"en":{"language":"en","value":"Constraint-based synthesis of coupling proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689217"}},"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":"Q6045011$963017B7-724F-4164-B0ED-9B36F93C1612","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"348319e3f091e2ab05281ab605cded1dede964d7","datavalue":{"value":{"text":"Constraint-based synthesis of coupling proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045011$2592B33B-29D8-43E5-B745-E6A53930240A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a061c41b8a8b41342e8e0720796211a7b0193504","datavalue":{"value":"1511.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$4C87A243-8661-4162-A27E-2E6661ECEF6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1be30cf8413009e1c4fe90dad03617cea781c78","datavalue":{"value":"10.1007/978-3-319-96145-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$D1601AC8-ABA4-4D08-ADF7-A33503CC326C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20057335d0b9f0f59892ecaeed2a523059119baa","datavalue":{"value":{"entity-type":"item","numeric-id":778537,"id":"Q778537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045011$2C75EBC7-053C-4231-A9AE-4E1EAC84A909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045011$0A95D249-D7C0-4933-809C-C2DC983FB3A5","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":"Q6045011$62553F8F-7500-4339-A4C5-EECEB91C8BDD","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":"Q6045011$65FE64F9-36D3-4CE2-96EC-196D05D33378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5ea0f66ad366fd05c71a284d037b2c2541c5c28","datavalue":{"value":"https://arxiv.org/abs/1804.04052","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045011$12DE4D57-02C1-4B8F-B4F9-618D70D54CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$58E40B8C-1FB4-439C-BDC0-25009B1FD331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$7F8FC2BC-2A74-499D-A7A6-6C19F0C428D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$389493AE-4B11-43C1-ABB3-CFC3802F0E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79afcb61db910343a3e8cfa7caaedba1b2c189ed","datavalue":{"value":"7689217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$56AA76B9-9B3B-4709-9FED-3B1B225DF780","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":"Q6045011$912CFD83-7262-4788-938E-059389415912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c700008216860035910bb52126d62e60d08b6ac","datavalue":{"value":"W2797085787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045011$D86A5455-C70A-4795-8EFD-442ACF4286B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12d4514e3584b93bf95a246cfa552529606145b","datavalue":{"value":{"entity-type":"item","numeric-id":4645748,"id":"Q4645748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8313971cf59c252694ee3aa2bad70b70963cada2","datavalue":{"value":{"amount":"+0.8659791946411133","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":"Q6045011$9194B31B-3C70-428E-A613-66FB0F4C1C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15373072fdb042eda76f66164256e436212dcb0","datavalue":{"value":{"entity-type":"item","numeric-id":5370853,"id":"Q5370853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838931c3e2cd65a61afebc01425c102b588a6e34","datavalue":{"value":{"amount":"+0.8406568169593811","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":"Q6045011$FE0BA743-288E-43B1-A522-731410639008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14dfcd1b5e1a79916e05a491b82ce0b7cb3bfaa","datavalue":{"value":{"entity-type":"item","numeric-id":3460069,"id":"Q3460069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40bb844acdf05c5814c21ab701e62c86b5a4e1ef","datavalue":{"value":{"amount":"+0.8342919945716858","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":"Q6045011$FC1CF398-A3C7-4CED-8259-EE6D73E6F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827eb7722744c23515a27fd459daf05777e60784","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd555e4d27115b678496fad03a1507f41a81c0a","datavalue":{"value":{"amount":"+0.7473077178001404","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":"Q6045011$CA41E5ED-8C95-40DF-88DE-49CB1236BFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f1bb9f0fd80cb34c125d16f6965ee044d9af12","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaddccfaeeccf72c035a7004e0f01049bf5183b","datavalue":{"value":{"amount":"+0.7347977161407471","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":"Q6045011$9090E8EA-4815-4D4D-B8F6-B7A9BB7E5CFC","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":"Q6045011$2C44AA74-4D28-426D-BE18-86EC70226AFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint-based synthesis of coupling proofs","badges":[]}}}}}