{"entities":{"Q5222970":{"pageid":7252540,"ns":120,"title":"Item:Q5222970","lastrevid":41653314,"modified":"2025-05-06T20:01:06Z","type":"item","id":"Q5222970","labels":{"en":{"language":"en","value":"Lookahead-Based SMT Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076880"}},"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":"Q5222970$3CA6E130-A7C2-4B6B-B2FE-9EF5BEE94FC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36592c1e2aab3102791e0916a0bfa17c090452bc","datavalue":{"value":{"text":"Lookahead-Based SMT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222970$B5A17CF4-0050-4CA3-9F3F-B4F2C659C8A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8974b41aca914cb631f61f9f14e6d9ba8f9b68b0","datavalue":{"value":"1415.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222970$9A307E8D-C070-4121-BB80-AF66C7B4101A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222970$D0FF5B9D-19EC-48D7-BBF6-7C4DAB8C3F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f6444d049d9c57fcfb1a50096c7c7e894d6dbb","datavalue":{"value":{"entity-type":"item","numeric-id":784139,"id":"Q784139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222970$1953E5B5-BBAB-4FBF-90CF-D2FD7C01055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed1736d45647afb8d9aa2e24c1595c5999ee588","datavalue":{"value":{"entity-type":"item","numeric-id":5222969,"id":"Q5222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222970$DBF01DDA-A063-41B5-BABD-D933216F7C71","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":"Q5222970$D0FF4A8F-3054-4737-9428-A53026B4ACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222970$05C1524D-200D-400F-BCF0-63C300B57F59","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":"Q5222970$84232384-A722-4E61-A98A-630BEEE3F4F0","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":"Q5222970$C9D3F8F7-9423-4D01-B925-36482AACD54D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222970$8F5407B1-3A57-4FF2-8460-64486AF2BB05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a9ce8502f677a3a782015ee074290940fad0150","datavalue":{"value":"7076880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222970$9FDB60C8-968A-4913-8139-A02047C2C764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222970$2BD9A186-0A4D-40FC-9B89-6E4C1878C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3c4f56de9794ee349c0a936282556f77e526c3","datavalue":{"value":"lookahead heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222970$A141AB1A-0519-4D34-9BC0-DEA4B1A28331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222970$AA1D0F7E-9408-44F9-84CB-BCED81E90A15","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":"Q5222970$84803F8A-92C4-4244-81E9-5BAFECBBE243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21100be6d96cc3c9f830ef8df96dbbc0e3a5c24d","datavalue":{"value":"https://doi.org/10.29007/gzzf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222970$06652C6C-5706-49D2-B0C9-597D125FD141","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d0b9275f74a286c7fe69d5c30887303f0b49761","datavalue":{"value":"W2908216958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222970$AD7E3EF2-E512-4736-88FB-ED58F75E74E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"677300c9f29a01e9a4201de46d9b4cd281add634","datavalue":{"value":"10.29007/GZZF","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222970$8FF35840-43DC-4B73-95C6-2EED9590683F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f04de042f4c67fa6cc0632451cd583df73562c7","datavalue":{"value":{"entity-type":"item","numeric-id":5900302,"id":"Q5900302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bbc6e38c7397bd473126aed56cbd6e626aad5a","datavalue":{"value":{"amount":"+0.87177104","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":"Q5222970$45881DF7-9755-4E70-AF01-E30659E4249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4396432ef5ab133000893590ebe84a1984c3c53","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7231b38ea3e4d40e6c5a8df6f82c6216637a3115","datavalue":{"value":{"amount":"+0.8443034","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":"Q5222970$DA34BE69-D2D6-453D-9148-E2CE99EE7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e02652464f0a82875e571a5247d43f1e09df64","datavalue":{"value":{"entity-type":"item","numeric-id":5473979,"id":"Q5473979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1776fc1c9bfea15e958fa5813ac08ee011f7bc13","datavalue":{"value":{"amount":"+0.842627","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":"Q5222970$28E6D9BE-7D26-4671-8091-10EE19DFC237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbcfb3bafbff6ffbbc477771883225d92e5fc8c","datavalue":{"value":{"entity-type":"item","numeric-id":2426102,"id":"Q2426102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe85a49063fbd3c61ab2cf874fb4814c2cc116b","datavalue":{"value":{"amount":"+0.84127235","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":"Q5222970$D3F6429C-3F5D-4D58-AEE9-DDE99B1FC92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfb731626815307a3fac2372801b1ef3ec253aa","datavalue":{"value":{"entity-type":"item","numeric-id":324699,"id":"Q324699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a76983663549d28223b8232df029e9a674d633f","datavalue":{"value":{"amount":"+0.8410263","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":"Q5222970$5DE37523-E57F-47DE-9BE0-24455221A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02e916a4295d108c2e735da9044d9bb806b47dd","datavalue":{"value":{"entity-type":"item","numeric-id":4621226,"id":"Q4621226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3b48f650aecea60f0784d9d7ec48dba8453d0a","datavalue":{"value":{"amount":"+0.83961356","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":"Q5222970$6BEAF53C-CB34-4581-89CB-1CE968EC8237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222970"}}}}}