{"entities":{"Q5387918":{"pageid":7417492,"ns":120,"title":"Item:Q5387918","lastrevid":50366537,"modified":"2026-01-13T21:58:38Z","type":"item","id":"Q5387918","labels":{"en":{"language":"en","value":"Automatic Combinability of Rewriting-Based Satisfiability Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279598"}},"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":"Q5387918$676DFDF9-8694-4401-AA31-5235FB0522B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9b7607da412a9322004f6f23882749d4408ef39","datavalue":{"value":{"text":"Automatic Combinability of Rewriting-Based Satisfiability Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387918$1AEDA84F-C6E0-40A4-9322-B288E68D0792","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57b71c448246588ebb1ecf1c957964585aab9a82","datavalue":{"value":"1165.68490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$0F3353BF-F575-4C69-9AE7-871392A7BAE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dda2462ffbe1db8d028c2c660bc85a944862d81a","datavalue":{"value":"10.1007/11916277_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$7376F6C5-2220-4AEF-B134-10229D764911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387918$836C7E1C-7528-4F7D-8F6D-9D1CBA54142C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387918$0BB39246-9190-474E-915A-871BC1D6F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387918$5BE7752D-A215-4DC4-B620-6B92E6DD84A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a178d18a9f8c24a5f96b1a95fb87bf2a0de8ff","datavalue":{"value":{"entity-type":"item","numeric-id":1041592,"id":"Q1041592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387918$893FB720-E8A0-4D5A-9EA3-072FAB1E3C68","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":"Q5387918$7E6979A6-5654-46AF-825A-6F33939FE775","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":"Q5387918$A8A5F13F-3BAC-4AEA-8919-ADAD43473412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$003770D2-EFB2-4B13-8300-64815513DC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$66032BB0-04EE-496C-BBC9-73CCF0A12EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$AE60D922-4EE9-4F90-9369-B4B934327E06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a733e44131e00940b3567ed15d8ca3ad146c6b60","datavalue":{"value":"5279598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$4C4C2211-BAC8-4495-B726-178B7006A18E","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":"Q5387918$6F02DC8E-BCB0-4B4D-91BE-E1544B77A0DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da8f67022d0e455dbae02fdd7a649884a5d9687f","datavalue":{"value":"https://doi.org/10.1007/11916277_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387918$BFC11657-AB14-4E86-AC0F-8BD73E957F37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70fa18695be6e0841f0bf78a58ca07327b285714","datavalue":{"value":"W1580992668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387918$5F499A05-C0C6-42E4-931F-FEF57A7405E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad5ec5c98775653bc18dff51fcba06acfae076a","datavalue":{"value":{"entity-type":"item","numeric-id":5491893,"id":"Q5491893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0a4509c437aaf599cc9c0cf6a86d71833f43ab","datavalue":{"value":{"amount":"+0.8214107155799866","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":"Q5387918$C9018313-C9B7-419B-A45D-1F5DC24612DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be640bd51e2586ca3b20a0e4d806fcaf3893ad","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf283a0bcad49197f4713c5490dba16c4dddb99","datavalue":{"value":{"amount":"+0.8167011141777039","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":"Q5387918$E5F3781B-BEDA-4D74-98A6-0AAA07F23073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29744e9a1f51ef8f7612ba53b5df7c0ab0f0da25","datavalue":{"value":{"entity-type":"item","numeric-id":3613431,"id":"Q3613431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f869701f30bc5ea87d636ccb6901ecfb2651723a","datavalue":{"value":{"amount":"+0.8133675456047058","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":"Q5387918$1C735B37-8E02-42F0-8A9C-AC67E289DABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85eda0f5d8e1ce93f48941152612a8a5924e2bf","datavalue":{"value":{"amount":"+0.8040075898170471","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":"Q5387918$9FF6342B-85A3-4044-AF69-7891C2FB976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c08bb19429ca1f2e03a3dec58bd7828cb204e4","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1706dce77d94b1a8aff1f78f86052462688be7b5","datavalue":{"value":{"amount":"+0.8017302751541138","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":"Q5387918$415FBBDD-E752-4A99-A330-4467EA072BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387918"}}}}}