{"entities":{"Q2987061":{"pageid":2997785,"ns":120,"title":"Item:Q2987061","lastrevid":52805483,"modified":"2026-01-23T13:20:03Z","type":"item","id":"Q2987061","labels":{"en":{"language":"en","value":"BDI: a new decidable clause class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718426"}},"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":"Q2987061$C5D678D5-1FFB-4EAD-B59D-18730F5E6E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"238d2145c572798476afb6b2777e8e376502baea","datavalue":{"value":{"text":"BDI: a new decidable clause class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987061$DB92C5C7-6445-44DA-84FA-2E7BE7A78218","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16079cb21f0550327c6d65febc72d98c8c56bb41","datavalue":{"value":"1444.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$9D1A6AA0-DE45-4E1D-BCB5-3454B0855212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4342e179489ccf2b1d583b71f29a18bd7e9038d","datavalue":{"value":{"entity-type":"item","numeric-id":2987060,"id":"Q2987060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987061$DF459FBF-4F01-4319-9377-758AB2EE31F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987061$9638A686-39A4-4CC1-8078-C1BCE17B736B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987061$0121FF42-A89A-4BB6-93A3-8F8E8401D464","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$5EE99E30-A76F-455F-84C0-48AE4B04FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$57B6155C-C457-468E-9708-9E2AB974F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$5E306E7E-6D9E-4B05-8BC3-BF13A2D537EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cde1296b70ada853397d8128b9a3882ae8fc8b7","datavalue":{"value":"6718426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$2C91B9C2-9740-428B-80B1-4E93FB6CC406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987061$A681B64C-4E1F-4765-83F2-EAE9D09300A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5033d3ae012d6c81208806815167a477d503a7c9","datavalue":{"value":"decidable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987061$A511D5C3-D4A6-4EF9-9980-D2EED92E6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71227afff1bcace3160b59330f91c56d23c37c1","datavalue":{"value":"decidable clause classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987061$22F24B5A-A91A-42D9-B08C-A18CA51C0D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987061$12236CB5-299E-4093-9B5C-D122917A64D9","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":"Q2987061$FEB45CEA-78E4-48FA-9D20-723C7F52626D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c2ab06d93c27db71589e5eddff07a4c8aededb3","datavalue":{"value":"https://doi.org/10.1093/logcom/exu074","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987061$289ED1FF-209E-4B15-B6A6-9D8E2C6B3144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bda6662dd4fad7d975b9b9177909a84e3574f34","datavalue":{"value":"W2065145482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$86D70BEC-DFA5-4047-BF59-F9407727FD91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"347896d3495f7c8a9be87f069537f113542a8078","datavalue":{"value":"10.1093/LOGCOM/EXU074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987061$8CFA685C-488D-436C-9797-109066DB1864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987061$57683A9B-35A9-4257-A421-72EC4D4B1F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8328f8503db491d4b7f81972855847e0969d0e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4809060,"id":"Q4809060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c39161f4288f4fea1aae071983fc1fe55ca51c9","datavalue":{"value":{"amount":"+0.7546853423118591","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":"Q2987061$ABA3F474-ACD2-488B-B545-0B5DA03BD918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c672886c9edf0b4e96451485a497181af72863","datavalue":{"value":{"entity-type":"item","numeric-id":4281685,"id":"Q4281685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5921f6496f599040fce74ab9ce4ebdc031630694","datavalue":{"value":{"amount":"+0.7501960396766663","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":"Q2987061$AA4EA4E7-9A87-4EE1-8E93-424BDBF813F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3f2d6c11832f1a8acba0a6d0bb1c69b1d4faa","datavalue":{"value":{"entity-type":"item","numeric-id":1041797,"id":"Q1041797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16809acaa7b9a1075b79594bb82abd8b92dbae16","datavalue":{"value":{"amount":"+0.74974524974823","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":"Q2987061$55958E56-DF22-4402-8157-A3351A55D1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7931aa42e9dcd3aede5377405279de0d33d1dcac","datavalue":{"value":{"entity-type":"item","numeric-id":4503912,"id":"Q4503912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f576cb34e1ba1437c1cb81b39de72041bcb44a42","datavalue":{"value":{"amount":"+0.7385693788528442","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":"Q2987061$B7E9A4CA-12FB-468E-83D4-A35AF9C07288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16601032d41a7e461eba00c23a67e5347129e3cf","datavalue":{"value":{"entity-type":"item","numeric-id":861692,"id":"Q861692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7ae5cecd1d266ae54a389c6ed80bf59596efb2","datavalue":{"value":{"amount":"+0.7385692596435547","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":"Q2987061$5D4DB227-1CC4-413E-B9E5-7C88FA9AD816","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2987061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2987061"}}}}}