{"entities":{"Q2961552":{"pageid":2972277,"ns":120,"title":"Item:Q2961552","lastrevid":52748348,"modified":"2026-01-23T10:22:42Z","type":"item","id":"Q2961552","labels":{"en":{"language":"en","value":"Synthesizing non-vacuous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687350"}},"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":"Q2961552$B6A11E04-5102-4B40-85EB-863CA272449F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"967f558d34d8e080e8e7d2026378ed58d8421f3b","datavalue":{"value":{"text":"Synthesizing Non-Vacuous Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961552$6BA8AD8D-1A74-41A7-B292-4CAF429DF5B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e929f460c89d3bceb2d5cabc644d394b64d4eae","datavalue":{"value":"1484.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961552$207EFB42-26F6-4C5C-B36D-43A2FD9454CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6550d4a0b6d689fba9cf04a14380ed30a4a3ca1","datavalue":{"value":"10.1007/978-3-319-52234-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961552$3E994DD6-27B6-4947-901B-7F7DDE98EAAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$C1D7B5A5-C354-42F8-924A-494D74A1C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$E9732D9F-B8BA-4F2E-BC68-B65BDE2EAA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$C90FEDC6-137C-4C66-A44B-0D1256D939FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3174bdda8f61c53c90668a925b371c7de341cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1713409,"id":"Q1713409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$AE0E4591-4F7A-414F-92A0-A8E32AF45411","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":"Q2961552$694CCE05-D4E9-4076-A381-0CB79C165ACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961552$1FF01DBD-B842-4019-AD59-420788A635C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8914552d705e200fb84143731ff78d055de20e4","datavalue":{"value":"https://kclpure.kcl.ac.uk/portal/en/publications/synthesizing-nonvacuous-systems(0c6793e4-e240-4451-814d-63b3fe6d3b5b).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961552$EFC14BC1-CEB7-4B55-9795-CA062FA0425E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961552$966DD0B3-FF79-412C-AE2A-C9BB7BBDEEDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e94b359cb8ce1de1e67208280adf86da36a7263","datavalue":{"value":"6687350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961552$2525E0E9-AF96-4FDC-A23D-1E2034A8BD53","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":"Q2961552$9CED4C6D-5069-41E9-910A-5A540A55323A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fdb9de5066c4ab57fb80d2a0b22cdb56fb4de9a","datavalue":{"value":"W2570364242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961552$74E33AEA-F7E3-4BFD-B6D2-11279406ECF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b13896b2a68b9bf78b69d462e062a7e049520","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$52B8139E-FD01-4B80-89B9-3F87CBBEA43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$A664EEEA-41F4-47B8-B4E0-B7FCE2A4B673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc9a8ada014558ec231dcbb17e14ca4952ee40","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$C44D3957-2416-4AA8-9484-FCD188F287C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$A254983E-6959-4DC4-857E-4E66A7F3E36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9966dfc33823478b3f2a5be599bc819ede0f3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5493227,"id":"Q5493227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$ACDB95CB-D0C2-4583-AEAA-E8415EE07911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3993e806173d08a1dbcafc4010d7b92ca0ee1b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5492988,"id":"Q5492988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$B50CC945-2AAE-4E08-BCF1-747A675AF78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54c885d7bdbcadc2f0219b6e1d7d72c76f5b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2248090,"id":"Q2248090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$F31FC765-87CF-4CBC-930E-CC32A253D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$06F510C7-E7C1-45E8-BBFA-25065EE6192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$7187A394-4387-4453-B975-2462B094143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b1acc7367c5793963a315d7c5e04a1e65e018","datavalue":{"value":{"entity-type":"item","numeric-id":414907,"id":"Q414907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$30F3A5FF-4B5C-4E01-BCF5-6D8122DA8987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f127373c97d01a6ac57c65f762fcc6d06ae7e0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5312943,"id":"Q5312943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$64C1150C-BB32-4424-8B74-BDEB18B9962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$2199E6EA-D178-4075-9A92-C4E7D3FFBAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29127e1d229917f0ab8f76eb7dcb540d6b5cf64d","datavalue":{"value":{"entity-type":"item","numeric-id":2926646,"id":"Q2926646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$8485BB77-34CD-4BA1-BE5C-7F9A72925AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961552$6FA51B38-4362-47B7-8755-D39D9E41C9E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4eb54a7696884678f8bb2e0a0ceba03934e7fc","datavalue":{"value":{"entity-type":"item","numeric-id":2058393,"id":"Q2058393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195b1a81bff91b31b4b3fe53c944357bf2c05140","datavalue":{"value":{"amount":"+0.9000576138496399","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":"Q2961552$86AF9102-0421-47D9-A576-440421E41CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244e8dbfbdf72d970bb1db2c8763ab4822463156","datavalue":{"value":{"entity-type":"item","numeric-id":1028732,"id":"Q1028732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e224e44507a88ba9d2ef197585ea12daa33a2a","datavalue":{"value":{"amount":"+0.7910844087600708","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":"Q2961552$11104136-0697-4F77-92D6-7A83DDADD2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd13b7aa32efb497bc12231ac98054aa66717b33","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524a0d5363022a88c1badc83237806821195f31a","datavalue":{"value":{"amount":"+0.7834092378616333","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":"Q2961552$9726D20C-B494-4AC6-BDB7-472E46EAD70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee0227a3c10d76c7aa72a9db49baa2644f3b1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5492989,"id":"Q5492989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04efb644eb9e62727aa9db412655a093d56581b0","datavalue":{"value":{"amount":"+0.7821838855743408","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":"Q2961552$EF246C3B-A4B1-43BE-BBB1-307D23AA7A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee915f4abc6559a69fc1814b4f51bb66befb1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1215fde09f0304dbaa9415f10ac7056e44921e9","datavalue":{"value":{"amount":"+0.7663591504096985","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":"Q2961552$D0F3306F-E002-4F3C-A548-B283B51E7E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961552"}}}}}