{"entities":{"Q5501275":{"pageid":7530835,"ns":120,"title":"Item:Q5501275","lastrevid":52319234,"modified":"2026-01-21T10:49:00Z","type":"item","id":"Q5501275","labels":{"en":{"language":"en","value":"Locally satisfiable formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6469162"}},"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":"Q5501275$FED88090-3268-4DDA-989A-FA419F443FD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3986eeff69d877dd60c76c670312928257a33d4","datavalue":{"value":"1317.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501275$6E88FA49-9B72-4FCF-9DBA-EB25C3FC7AFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80468e64804c1b89fefb2ee4bac60a8b1364b55b","datavalue":{"value":{"time":"+2015-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501275$78177982-52B8-4F0C-8A2F-2F5347F7D06C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501275$F525CAC7-8B8E-4129-A6ED-7030F22D011A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501275$C513E50B-8742-4826-9687-2EC583B30151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501275$901EC3B6-79BF-41FA-989F-D18BC3456192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3768faf6d5c02e6e88d0247868ecf09be45c157f","datavalue":{"value":"6469162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501275$9FE93CC6-EE96-4842-8D5A-72F2390A3741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53427ddbb10f2ef6b2b23d5d0945110660ad7953","datavalue":{"value":{"entity-type":"item","numeric-id":273100,"id":"Q273100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501275$AD31718E-5AEE-4D32-BC63-631A046D084F","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":"Q5501275$F68DB341-9FE9-4A99-B5D6-DD8BA13C8BC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8d28a8b6968a10094940a5c2957747e8a3e884","datavalue":{"value":{"amount":"+0.8616675138473511","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":"Q5501275$02A6413C-CC79-4774-9F78-9AF81DA48FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbefe0b4e402b68fb3365d30d54cd1fe686bd667","datavalue":{"value":{"entity-type":"item","numeric-id":3503510,"id":"Q3503510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680f2ac222d026068b2deab1cef0f20502faa775","datavalue":{"value":{"amount":"+0.8550806641578674","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":"Q5501275$08AC14C2-A1FF-4A1A-A6F5-D65351B81A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9543e89569e106820efd0c21b2766bac6d6279","datavalue":{"value":{"amount":"+0.8444508910179138","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":"Q5501275$AE1140A2-8988-4B8C-A59E-9D4B174CBD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58fefcd8b50cd47a06516f977af8b59b4f99e46","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e56b10cc0f2f266534ecb6cdcf6f70ab47215b","datavalue":{"value":{"amount":"+0.8205704092979431","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":"Q5501275$6EBFF223-0645-43ED-A4DC-E79B9C8E06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd05a2e113d87c20fb5c2edd8276f431f55ef8f","datavalue":{"value":{"amount":"+0.8137583136558533","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":"Q5501275$155393A6-EA4B-4EFB-8BDA-2DACEFF2CECB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501275"}}}}}