{"entities":{"Q5222972":{"pageid":7252542,"ns":120,"title":"Item:Q5222972","lastrevid":41188134,"modified":"2025-04-18T21:17:55Z","type":"item","id":"Q5222972","labels":{"en":{"language":"en","value":"Towards Smarter MACE-style Model Finders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076882"}},"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":"Q5222972$3BD985A3-0C45-49C7-BF47-A96B5B42EB0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10eac9ab81021eecb743bf4a40e12fc4bb5850a2","datavalue":{"value":{"text":"Towards Smarter MACE-style Model Finders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222972$33F037E5-956E-4507-B34F-E4DA4B4BCF8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d60d56b56ac8c1f40e436d28d093ff84b034668f","datavalue":{"value":"1415.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222972$50936B04-1C0C-4CF0-83BD-CCC45B019E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222972$53E7FDF7-47B8-4F47-8532-04DC75B6226E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222972$0178A529-CEA2-4CDE-9661-0812AA30463C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222972$292B7183-B697-4335-ACF1-FD33CADD6A7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222972$FCF13007-3D7F-445B-A36C-264CA76A04DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222972$0B48A015-C688-49DD-A18F-3C85B5BC6E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afd25b73aabfdd9821f16f3189f4d53d7f3f8281","datavalue":{"value":"7076882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222972$811CCB27-2EDD-4002-BF42-2A63ABC58E54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222972$F035B1B4-0C52-4D2E-873C-9A9BD5079744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048c5c14290def86306e73e21b0fa6dde1d78de5","datavalue":{"value":"EPR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222972$3E85444F-9A92-458F-8744-DB92DA4A9039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cd36f5f50b1fd28a69bfa91bb0113db528ddb71","datavalue":{"value":"finite model finder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222972$1E8FA456-6061-4A2A-8121-2080A6DD7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222972$48A741F8-3F27-4365-9102-A469E81DCC3C","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":"Q5222972$7356EDC0-4E90-4716-8DB2-AB32FFB844EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d99dfdc185762ce4000ee8f3952066b9d867009","datavalue":{"value":"https://doi.org/10.29007/w42s","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222972$03125B8D-0AF4-4378-962C-0665FCFB57BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d77c556de66476f53fd5827b9dc398efa03ff36","datavalue":{"value":"W2907012365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222972$54B2A361-3350-4CE5-85E8-AFE0799906FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1084de966f516b00335fca0135a6153ab69bcff1","datavalue":{"value":"10.29007/W42S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222972$4B69C158-3E04-4D55-92EE-1E0C6079C291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02fc8bf31253a6ce3870886faa51d406194049c","datavalue":{"value":{"entity-type":"item","numeric-id":3826102,"id":"Q3826102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3b52714c823a5d92f0e65f9b901acea23d2506","datavalue":{"value":{"amount":"+0.8219267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$636FD856-F096-4F56-A20C-A18F1CEE0DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7d60918540c308b2690421ed7e3096057cf07c","datavalue":{"value":{"entity-type":"item","numeric-id":4913862,"id":"Q4913862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1165bec24b7763ffd4205b55f0c7dafa53bf51e0","datavalue":{"value":{"amount":"+0.8128635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$CFF14ADB-3BA1-41EB-8978-6A17E9DEF897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea367492a86e9372aefec8d7a6c0a9201ee62f2","datavalue":{"value":{"entity-type":"item","numeric-id":2723428,"id":"Q2723428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e000b695b5624e5fec62e39c269255bf74ff9c42","datavalue":{"value":{"amount":"+0.8031354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$EFD75429-1982-4D8E-9B59-9E683D6C08DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22410b667613cceb94b83deabd0737a4b60a48c2","datavalue":{"value":{"entity-type":"item","numeric-id":2180212,"id":"Q2180212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a93b0dbcc2b93d4b5fce29465b20f2e674e5d9d","datavalue":{"value":{"amount":"+0.7984998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$6601829A-FAA2-4F4B-8406-A7991F600A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0419071165d60608f840fdddd0f5a0ecff10e8f","datavalue":{"value":{"entity-type":"item","numeric-id":3619298,"id":"Q3619298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5f91c72008407b099a72fad07536be497bafc6","datavalue":{"value":{"amount":"+0.7941709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$0DC9CCCA-5EFC-4B49-B453-A9D158D829AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a297bd8b96203bce29a0c99f8f5d7604228cf2d6","datavalue":{"value":{"entity-type":"item","numeric-id":4700707,"id":"Q4700707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f981f15ac83ec4e8283d3af0c545b3659cc351fd","datavalue":{"value":{"amount":"+0.7884585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222972$6076BB6B-A5BD-4105-9535-C79E7FFC5924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222972"}}}}}