{"entities":{"Q2248090":{"pageid":2258833,"ns":120,"title":"Item:Q2248090","lastrevid":52028363,"modified":"2026-01-20T19:12:13Z","type":"item","id":"Q2248090","labels":{"en":{"language":"en","value":"Beyond vacuity: towards the strongest passing formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310031"}},"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":"Q2248090$B8F257A8-56F6-4D2A-9374-B7CA376AC499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77457baa5b5acb75631b8821d2b161c1473916fc","datavalue":{"value":{"text":"Beyond vacuity: towards the strongest passing formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248090$9C72BF96-8FBD-4402-9941-A4A89C8C7B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cd53a46b8698a25ae65598b4840b21701e54a5","datavalue":{"value":"1291.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$9ED07543-D93A-4325-AB4C-8A91D1E067CD","rank":"normal"}],"P16":[{"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":"Q2248090$9AA9860D-DF87-4574-807F-BB32C672B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$C68EC8BA-A4C7-4DE4-8C86-438902A8C7EA","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":"Q2248090$9D6D4EBF-6E3D-49BD-818E-EAB69E40DCB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$B49352A6-FC8E-46CF-9636-2CDBFAD16EA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248090$9453BFE6-55E8-42FA-AB07-BA12D257D4C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$8C5FAD54-5550-481A-AE33-004E617CD5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$4F42C0B1-45C1-4D20-8DFA-E50FED0DD3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$4570DD2B-84C8-4111-BE01-AF68FE6D0102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c1b91227b3b130a1f4126d3aa3a069b016b41d6","datavalue":{"value":"6310031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$4747B6B2-88A7-4B07-BB47-2019044B23C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248090$2ABD4C6B-B785-432E-A026-50507CBBEAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ca6d9a779b252b72894fc0620e968a0761828","datavalue":{"value":"vacuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248090$27234316-68CF-48E8-81BF-FDD488B2FCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfb5e325d7134b7d01c8906a0c3febe0c846780","datavalue":{"value":"lattice-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248090$AA14D7E6-9944-43E3-AE6F-7B830BDCAAE6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$97DFCBA7-2C2F-4428-90F0-AFB2B09EB226","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":"Q2248090$E8922AA4-1A8E-47B7-894A-88B4C809B095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb7be047397b10dfc767208b05bf50e847d3a24","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0192-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248090$17202338-9F37-43CB-A182-9E5B3EF00F35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afb115a7151f79ea5125809e5a3fcede2bd91553","datavalue":{"value":"W1977092240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$4CF15C89-5F57-42FF-8887-1BC307EA6108","rank":"normal"}],"P223":[{"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":"Q2248090$C2B9ED10-4AA2-4EBA-8957-692B6DCECFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$FF312966-3B7B-4C87-AEA2-9CC297EDE4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$B4BADDC0-0278-41DB-86DB-B61895F4C6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$425B5DCC-D4D0-4F0A-A944-1C665E3FA35F","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":"Q2248090$6ED6019B-881C-49CE-9829-541AFC24EC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$107858A6-C99C-4172-88BF-061F0D266478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1372c25eacd52e889e17300f70d330595cb52ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$295FC62C-0861-499A-8304-BACF03A13AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$15FFCA5E-E8D6-4841-9E84-D87D42A77474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f13cbf57db59a7ee1ac7dbadb613173d3cb2ded","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$6874F5D6-E1B3-46EA-BF35-374AC68AD902","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":"Q2248090$4F89B950-C2B5-4FDF-88E4-80EFD7A1426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7b79e28ff98a0b9d365f342c980fd9d2e6540","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$2140567A-C775-49D2-94DD-FD8DB43D6570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$5965EF6D-BA27-4FAE-8BFD-0EA81BF732CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d6a6cf2aa135e76514c0f60e20e690e347b6b2","datavalue":{"value":{"entity-type":"item","numeric-id":5492989,"id":"Q5492989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248090$DA54D367-0565-4134-B5ED-13DAE155EE1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94246f68d8e1488fb4ffb31a34757e0464b3b880","datavalue":{"value":"10.1007/S10703-013-0192-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248090$BE01650E-D6AF-4F63-9125-4502037F2DD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84259e5c406fadf359a20b9170649d4d5d7b52","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4791c34820b2c04f5c4bafb409af18de263bd665","datavalue":{"value":{"amount":"+0.7526302337646484","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":"Q2248090$5E559618-A608-4C34-B731-38DFA0E9FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e5a802f103f0bfdf3aefa2189cd86d645ad3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5493227,"id":"Q5493227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4791c34820b2c04f5c4bafb409af18de263bd665","datavalue":{"value":{"amount":"+0.7526302337646484","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":"Q2248090$352199FF-11A9-4EC0-80D6-52EC1995FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f008687de8a934f2fdf14ddf6f092b116ab46c1","datavalue":{"value":{"entity-type":"item","numeric-id":2946649,"id":"Q2946649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440fc0ee519d96329a3f8e17f3f3267d60d6bde7","datavalue":{"value":{"amount":"+0.7398437857627869","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":"Q2248090$ED995FD7-65E7-46FC-9202-8A3CDD6ECCC3","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":"20a2d1b9988fe9ca88fa1e5fa6a45a0f3a9e25a8","datavalue":{"value":{"amount":"+0.738101601600647","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":"Q2248090$6953520D-45D7-47BA-A231-0C55E4DE5C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd542195982507c508294425e7921896002b95de","datavalue":{"value":{"entity-type":"item","numeric-id":2947173,"id":"Q2947173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aefac226df2343b2bf1225dc0f675bbfc619aeb","datavalue":{"value":{"amount":"+0.7355404496192932","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":"Q2248090$E9078D9A-F36C-47BD-BC93-E50D3D7CC5E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248090"}}}}}