{"entities":{"Q2851963":{"pageid":2862683,"ns":120,"title":"Item:Q2851963","lastrevid":51838463,"modified":"2026-01-20T07:17:06Z","type":"item","id":"Q2851963","labels":{"en":{"language":"en","value":"Advanced SAT techniques for abstract argumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213590"}},"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":"Q2851963$17532A47-41B6-442F-BE26-4F70B2C3AF57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4256cf7a4827fa3ac42b2f931eb4ce3c90932a88","datavalue":{"value":{"text":"Advanced SAT Techniques for Abstract Argumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851963$0BC80593-1398-4AB5-9F91-D24E1F017CED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5582a45866803c5702fb849d021a525f011d578f","datavalue":{"value":"1401.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$4BB94BB6-EEC7-417B-A324-A24A399C2AEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3e3a03266b7e4bb14bdcfba14010c351a48d278","datavalue":{"value":"10.1007/978-3-642-40624-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$10663D22-9E15-425C-B39F-17388AAA9CD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d114eeec42bb6c543b32170c6148e96e20e02d76","datavalue":{"value":{"entity-type":"item","numeric-id":490450,"id":"Q490450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$FF4A9EDA-9A11-4EDD-93A9-230BC408E657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$ABC490A6-D85A-4FE4-B41A-3748427ECE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$C60D9F5B-08F6-4BD0-9A52-A56FDE0CFF6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$EDEB3911-1D62-4179-87F6-04AA8AFD73C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851963$01021A74-8F89-4CCA-8CB8-99F3A2FF8278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$50406412-4421-4DDF-8BFB-3E7E0ED97D51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e43f5c1f83d2d73d231ed3d5636c73bbe781bc4","datavalue":{"value":"6213590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$33C56C05-A0EB-4007-B827-DAEDE507D5D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c77b4231922cd57d42bac9b81da5ba946aa73d","datavalue":{"value":"abstract argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851963$2624D12B-C429-47FE-B13F-3724F18CD13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851963$9227AE9D-CDBE-4852-903A-CD2BE94032C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"173fec89b860fd69cbd46a3711f31065bcbb6b0b","datavalue":{"value":"argumentation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851963$0CD88345-0324-445A-AAC5-DE4F732D5DF9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"53e65778d29f04d521b5341cd3a9a6721f81fe4f","datavalue":{"value":"Q62040443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$33A220B3-BD66-47B7-B77A-AC71C41C4B01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$2EF32DFB-5AF7-4FAB-AA4D-0377652AA0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91bca1c2a518a046e416057d3d71807670849859","datavalue":{"value":{"entity-type":"item","numeric-id":19059,"id":"Q19059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851963$42C3E57E-A773-4857-92AC-87678CCCCCBA","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":"Q2851963$D3C2687C-F839-42F4-902F-784B78691C7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"579972111031804687a6bfe6adb7a4593bf0959d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40624-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851963$7F72FC70-F0CB-4BAA-ABE0-7DB7703AC862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60301c0286b0d1e1e9de329bf1424510a50b8e9c","datavalue":{"value":"W2112598286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851963$D714A4BC-A947-46F6-930E-23E8A46B53E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bfaa6617ad8b6444c747951c28d9d30986f057","datavalue":{"value":{"entity-type":"item","numeric-id":490451,"id":"Q490451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01019298fbb6913a0ed8337a26190fd97979dc3","datavalue":{"value":{"amount":"+0.818751871585846","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":"Q2851963$4FB89A40-5878-466F-80DF-B5A9DADE1FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07abe474c84f9ac5a22fb8b800afb7d71cdf521a","datavalue":{"value":{"entity-type":"item","numeric-id":5405019,"id":"Q5405019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70253ac6ff8e20b5b92f7a445d0a57b4bfe4456","datavalue":{"value":{"amount":"+0.800260066986084","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":"Q2851963$59EF495C-8C63-405D-AA79-D687C2320BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37450b9d2af38e503783d20abfdde6722ec5e10","datavalue":{"value":{"entity-type":"item","numeric-id":5145819,"id":"Q5145819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb912261ea686aadc61b92879412ce876a7473b","datavalue":{"value":{"amount":"+0.8002369403839111","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":"Q2851963$F7457AB4-205B-4901-B5DE-1F7715EADF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb94c730f6ad3353f54b55058053b61ccd02ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5215685,"id":"Q5215685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4592d5e69588fc98456205d296b8d82cac28d9","datavalue":{"value":{"amount":"+0.7916961312294006","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":"Q2851963$20FA272C-F335-4066-B2CA-A66A7C72D000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58387bcbf80bd1775194bbb1264953a92b687d20","datavalue":{"value":{"entity-type":"item","numeric-id":2248522,"id":"Q2248522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e119748f22b66beadb20e50fde52d19b8ab051e","datavalue":{"value":{"amount":"+0.788532018661499","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":"Q2851963$07EF8ABB-710D-40BA-AC4E-3403CDCFDC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851963"}}}}}