{"entities":{"Q5387882":{"pageid":7417456,"ns":120,"title":"Item:Q5387882","lastrevid":58555299,"modified":"2026-04-05T17:51:20Z","type":"item","id":"Q5387882","labels":{"en":{"language":"en","value":"SAT Solving for Argument Filterings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279564"}},"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":"Q5387882$FFADA1F4-2F42-4E33-991D-C1364C83FA51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c745e5852c112cadaffd6800dd55dd75c15f4703","datavalue":{"value":{"text":"SAT Solving for Argument Filterings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387882$D7E5B3F3-7160-40D8-A355-0176FD24CCB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec6090fb21e0ce70413d3bbe3260fd2751675882","datavalue":{"value":"1165.68484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$EFF99447-107A-4756-9B5C-88CFAD77AC7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f484064a8a5e124f6c9cd764a029885ce2188983","datavalue":{"value":"10.1007/11916277_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$A0F4A304-DD5E-407F-A6F7-26E2B63B5F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$15B9C076-EAA3-4525-BD8D-6B0BC7E94FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$7FC484B1-7D47-41B6-A697-BF765FE4420E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f56e5c602b016183d0057e14ebc518ed5ebefb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575242,"id":"Q1575242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$5EF15E3D-B69B-4537-B42F-89058116D9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$1D61C9D6-D1A3-4E87-83B2-02990BD334A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$BCDCA925-52DD-4963-82D1-749007B571A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387882$448B7E56-5476-494C-9526-11439776197D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387882$52EBE296-74FB-4547-A5F5-6AD000E63CDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"225e33a6d7ccee7f89d8d0a742fc30bec4254902","datavalue":{"value":"https://arxiv.org/abs/cs/0605074","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387882$F25350B1-538C-45AD-BDB5-F3D92948C754","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$DED017EA-89C8-4F99-AC69-1915A582EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$5A1A1910-D210-4EA9-9740-ED5DD3512BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b77c12fd68a7f0bd66f36639cb6872050cae0c8","datavalue":{"value":"5279564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$27822EE0-C1B3-4D25-9748-74B8D04229A4","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":"Q5387882$3149A538-F4B9-47D7-8B42-889C6AE0D5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3da2a45c46480c47995c1ccd5f2f2450a17c06","datavalue":{"value":"W1629587635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387882$293B6290-AFFE-44EF-8389-1995AE70A83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8d810526056c8bbd381831ec093323a64b739c","datavalue":{"value":{"amount":"+0.9173481464385986","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":"Q5387882$CE452BB4-7D1F-4B10-B228-AEAD29D470C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb9353ebde6b94a8df99237fed92a72f2004b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c7b518b957a3fa61410d368d90fba0d831f6ff","datavalue":{"value":{"amount":"+0.8591262102127075","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":"Q5387882$F8FA35A7-89DB-489E-A9A8-3BD482C9E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81025c70e8cd8d375e355d7d74b630a094978f32","datavalue":{"value":{"entity-type":"item","numeric-id":5448809,"id":"Q5448809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8529de38531794f38dd092b3301c985f0fe7ba","datavalue":{"value":{"amount":"+0.8335037231445312","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":"Q5387882$692884C4-3C77-4D48-B3C6-43E7CE3C74CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de96ba925a1eeef091114a3c80c129c0719ff154","datavalue":{"value":{"entity-type":"item","numeric-id":3620437,"id":"Q3620437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fd426e25d2c1e32fedade599ca8b2b9c3af74c","datavalue":{"value":{"amount":"+0.7759385704994202","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":"Q5387882$71F0396A-C3AF-489C-A955-2D6361F2F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8fccf2c01654a79c608d5eef5768ec2d192fd36","datavalue":{"value":{"entity-type":"item","numeric-id":3608786,"id":"Q3608786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e499faf41502c4290b2b9c16f83c439fafbad30","datavalue":{"value":{"amount":"+0.761000394821167","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":"Q5387882$2DA0B48B-9626-41E1-8502-6425B6F2CC40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387882"}}}}}