{"entities":{"Q2741528":{"pageid":2752267,"ns":120,"title":"Item:Q2741528","lastrevid":82920851,"modified":"2026-05-06T22:25:04Z","type":"item","id":"Q2741528","labels":{"en":{"language":"en","value":"On the use of autarkies for satisfiability decision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642925"}},"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":"Q2741528$F09A0FBA-FB28-4214-87F8-3F135A9B2E85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f1fee0aefdff94320ecf72fe52b3e0df4f1c1c3","datavalue":{"value":"0990.90545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741528$6909946B-FF07-4164-A900-88D47D069E6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741528$73F269EF-B26B-40FB-BB3F-3B0594FCB97F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741528$27C0BD24-46D5-4EB5-8020-378EA223EC7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741528$24529022-10D7-4F42-BB8D-0C7DDABDEB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe5761561316c6b67c1d48e34a26ca270ad598d","datavalue":{"value":"1642925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741528$9F0481D8-C7CA-441E-9305-36E0E431BDD7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741528$46F7FD1A-62DF-4361-8811-52F4613D914E","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":"Q2741528$710DB03D-D39C-4041-8C54-23631027C427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209d0056a4a1ba9f31790c4aedf200365a165ad8","datavalue":{"value":{"amount":"+0.8956645","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":"Q2741528$FA508542-0812-40F1-8521-0CAC8445BD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ef07658f5d1bd9482fc3ffa2ee4d0683a3a2b1","datavalue":{"value":{"entity-type":"item","numeric-id":5191115,"id":"Q5191115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2b6367abf2c4e7c11afd1db0238ab3b076e5d9","datavalue":{"value":{"amount":"+0.8573915","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":"Q2741528$37B6678D-3E17-4E61-AE2A-3368988278BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3cc0da975ad85fc43f51c8dfeb8e1bc04a4b51","datavalue":{"value":{"entity-type":"item","numeric-id":438540,"id":"Q438540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2b6367abf2c4e7c11afd1db0238ab3b076e5d9","datavalue":{"value":{"amount":"+0.8573915","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":"Q2741528$14AA2CCB-5C04-49C3-A3CA-C1A650660632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a67a9565d7cfcc1db02d6781cb97a816b6d914","datavalue":{"value":{"entity-type":"item","numeric-id":6157250,"id":"Q6157250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865e551720ea3cb86c4f6dcaef9d1b58bf84f628","datavalue":{"value":{"amount":"+0.85445654","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":"Q2741528$C5554E27-7486-4165-94C3-A79BBE707743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e2a43b4930e1e1440ed8b96c6f962cc673db8c","datavalue":{"value":{"entity-type":"item","numeric-id":2829278,"id":"Q2829278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5f2aabd1e064a9bf9fa793ad8af47c169a06a2","datavalue":{"value":{"amount":"+0.85428965","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":"Q2741528$84914C69-04A8-41E3-8C11-A04EF6DA5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78647c42b4985b6971dbcc2faca81087d8bcb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debf3e64d5565168e4afc00b08f1547e8189c63f","datavalue":{"value":{"amount":"+0.8453684","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":"Q2741528$4D7D6DFB-0FDA-4904-9676-83DF9F539008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df07242b0caace58208b32a9a26351298b9d6624","datavalue":{"value":{"entity-type":"item","numeric-id":3502699,"id":"Q3502699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c938b462c7cbc9b95dd99a9a564143088ba6a35","datavalue":{"value":{"amount":"+0.845296","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":"Q2741528$3D1F4E0F-1699-45A4-9D56-33BEBA458B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99494f707dad5a0c099090b88aa5f8417d71b341","datavalue":{"value":{"entity-type":"item","numeric-id":3502707,"id":"Q3502707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8908d4388136a28098878c4882559287df613352","datavalue":{"value":{"amount":"+0.84502494","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":"Q2741528$99CCD4EE-B4DD-4CCA-AB5C-00CD3FD6E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b449a0bd0229c951dfc5833888215831e1c36d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899156,"id":"Q5899156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f63460ca2fd430f418a90205d7268bb3ce6e0e","datavalue":{"value":{"amount":"+0.84299374","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":"Q2741528$2C6D46A9-590A-45EA-A578-8B5D83A9DEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f24e39574cfebeffc730b8d056609b89594bec8","datavalue":{"value":{"entity-type":"item","numeric-id":3608782,"id":"Q3608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8af6409a4736de601233b50c997cd337c1a856","datavalue":{"value":{"amount":"+0.8387984","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":"Q2741528$537F1BAC-3E67-432E-8F6E-C8B763AD747A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"413c9fe9e2450b6c0b2e490cf8e85debf50b45f5","datavalue":{"value":{"text":"On the use of autarkies for satisfiability decision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741528$5D3B73DD-5F74-44E1-AE93-9D9BF4719C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the use of autarkies for satisfiability decision","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_use_of_autarkies_for_satisfiability_decision"}}}}}