{"entities":{"Q3643113":{"pageid":5673019,"ns":120,"title":"Item:Q3643113","lastrevid":50812052,"modified":"2026-01-15T06:41:37Z","type":"item","id":"Q3643113","labels":{"en":{"language":"en","value":"Computing Stable Models via Reductions to Difference Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5628744"}},"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":"Q3643113$64DC4191-7ECE-4212-B1B5-FA3C4BD42B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"337891e6a6ae639523c670977f4716adf49efb3b","datavalue":{"value":{"text":"Computing Stable Models via Reductions to Difference Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643113$20546E21-CAC0-4336-BCBB-7A8B500E3A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f70feb053ca815ad612c33f2e28b00221a56d54","datavalue":{"value":"1258.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643113$3597FC7A-2D4D-408D-A9FF-97E488250A38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1add1b580912128ced566733f095ed9cc3943951","datavalue":{"value":"10.1007/978-3-642-04238-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643113$0913E0A7-4822-4221-93E8-FD2DFFA68FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$79F1C09D-8631-4DA8-96B0-2FC2D45BFD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6342e1b24501e4026d656f92379fdeacda7d6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3643112,"id":"Q3643112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$6CC3ED88-8235-4EBB-A2C8-6AC30A16622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$AAF8DE73-DCEA-4457-AF80-A51F0DC8E38A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$5EEE75BF-D416-4889-8239-83E25F0714A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643113$A352FF6D-EA09-4BE2-9335-A197E3428FE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643113$22A8727A-FB15-4E1E-B5F1-7E59A2A83EB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a0627b77285a439c314875718fa4d6babc61db","datavalue":{"value":"5628744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643113$979C3B68-7AE7-45FE-8E21-8940D7C767DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$56777882-9E36-4D7F-9857-C182FD3631E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643113$D150777B-F496-4F07-90A3-485692E35E14","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":"Q3643113$6D7C7D68-BC4D-43B7-A8E6-8605BDA27E1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f684d3059ba967c35f37dec46d790a6f900c30","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04238-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643113$F5BE6846-AF6A-4644-B2A1-38BDE678D802","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a22c4bf8dd0b497bbc8554837bfe6cf559c67413","datavalue":{"value":"W1505818550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643113$72DE3D29-F8A9-49C3-9D40-D3810560E1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad7f34f250b2215224ec0821d809091562516b6","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b1a42f828ee0ac6eea1613e383d30efeac9eac","datavalue":{"value":{"amount":"+0.9032708406448364","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":"Q3643113$279F772D-14BE-4742-82AF-042377A48006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841520a04d8a80fcafe67db46bc622be41c77746","datavalue":{"value":{"entity-type":"item","numeric-id":3001916,"id":"Q3001916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aee20e277e6d7eb7524d8b09d2cc8960dfeb81a","datavalue":{"value":{"amount":"+0.8312139511108398","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":"Q3643113$D65608AD-9350-4D07-9A2A-03BD3117F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15446cc7b3f951fe5f7af5a583cd91fb340f0728","datavalue":{"value":{"entity-type":"item","numeric-id":4739121,"id":"Q4739121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b19346b2d83d649535760872f272dac8fdd0ee","datavalue":{"value":{"amount":"+0.8026408553123474","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":"Q3643113$5670639B-055E-4742-BABB-4649B3C792E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d93bedac32f49ef29840872a51a1b74b8fc181","datavalue":{"value":{"entity-type":"item","numeric-id":5961490,"id":"Q5961490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29bee1a9a463169c31dc8007550da843f44fac8","datavalue":{"value":{"amount":"+0.7977086901664734","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":"Q3643113$AFB83484-BC99-4C84-885D-0C4CC4928A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406d97816edc894823a39c8ad8050b9b27167157","datavalue":{"value":{"amount":"+0.7851496338844299","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":"Q3643113$5D13C7C5-7861-4038-A03B-A8E6BD1454E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643113"}}}}}