{"entities":{"Q6651968":{"pageid":14263125,"ns":120,"title":"Item:Q6651968","lastrevid":55808533,"modified":"2026-02-17T23:09:23Z","type":"item","id":"Q6651968","labels":{"en":{"language":"en","value":"First-order reasoning and efficient semi-algebraic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957031"}},"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":"Q6651968$4649C99D-5C4F-4BC7-B4BB-B0C5F8D0BED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1314a41bac18a683ac01647771300373443ac034","datavalue":{"value":{"text":"First-order reasoning and efficient semi-algebraic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6651968$C381654B-A52E-4231-98A4-8D150104B28C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60a6fb77bcf0b394c00a7538f521b004cd04912","datavalue":{"value":{"time":"+2024-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6651968$8E933ECE-038D-4CDD-8868-E695219B5EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651968$B090AB0A-6090-4521-8427-1CF3864E94F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651968$401880EA-0E9F-44FC-8381-6901AD26D5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651968$4883B313-6F0A-4602-9AD1-65BBCF35D8FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ec28dcb8593f387153838f9fa9d915beda63fb","datavalue":{"value":"7957031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651968$2669E58E-2A00-4D5B-8752-02616138C861","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":"Q6651968$B430A299-5E5A-48AA-AE22-4926BF724FEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e89258872bf82940347d5c56f7f8af96a5ef11","datavalue":{"value":"10.1109/LICS52264.2021.9470546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651968$230B0AEA-E480-4610-B115-77E59E0CEA86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061835e7ebc924f8a2c521a2f3cb4711c3442019","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1f35459784aa647fbc5cf3b67a3adbb0f8bd18","datavalue":{"value":{"amount":"+0.7896183729171753","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":"Q6651968$54F1EC75-3BE3-48CB-A6E9-54ABA67EAD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85624023b62896bd53179b9c89be9298254c6b12","datavalue":{"value":{"entity-type":"item","numeric-id":4737162,"id":"Q4737162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5205a1bc421b84670d42b8e3cd557689c659d7e","datavalue":{"value":{"amount":"+0.7886822819709778","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":"Q6651968$CEC5C908-7A29-4DBD-AA48-B1702ACFE4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99920ec557cd786b2abba903f1e861460572a7b9","datavalue":{"value":{"amount":"+0.7731828689575195","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":"Q6651968$9023B9B3-8DB7-4CA0-8911-FD95CDF0684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3a50c1d3af2204bd34b56ff666dfa2e72d51ba","datavalue":{"value":{"amount":"+0.7685343623161316","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":"Q6651968$0632E8F0-0054-4E00-A2C6-ECBDB80B721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed4e15b347953f2f4572767ed2640c6403bb64","datavalue":{"value":{"entity-type":"item","numeric-id":3304105,"id":"Q3304105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed57a3d46c173fab61633012188d419b91a53a6","datavalue":{"value":{"amount":"+0.7633302211761475","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":"Q6651968$610474A4-BF55-4F5F-9DE0-74FAB8585CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6651968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6651968"}}}}}