{"entities":{"Q5234699":{"pageid":7264267,"ns":120,"title":"Item:Q5234699","lastrevid":53547203,"modified":"2026-01-25T06:05:59Z","type":"item","id":"Q5234699","labels":{"en":{"language":"en","value":"Exact knowledge compilation in predicate calculus: the partial achievement case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111170"}},"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":"Q5234699$5326CF1C-979A-429F-BFF8-E78173B66328","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53082a491955b336f7c68158239520166fab2ae0","datavalue":{"value":{"text":"Exact knowledge compilation in predicate calculus: The partial achievement case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234699$1334F022-6A92-4A2E-AC57-B09C715463BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c204e0dad2ec65700790be7798a830bfe549027f","datavalue":{"value":"1430.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$DF2E0684-FC10-43C8-9FB5-602D3BB42B46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99146fb3142cf06eb13ed9f2b4556df0319094c5","datavalue":{"value":"10.1007/3-540-63104-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$739B6A43-4F40-4F11-8492-539E0EEE2473","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4beadd54d37d1768a3822ce90028da2dc5fab4c4","datavalue":{"value":{"entity-type":"item","numeric-id":606900,"id":"Q606900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$EE782C1A-012C-40C1-8B12-45E370C84E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"507205fe3d32ba1811434745039ad87ea7a7472d","datavalue":{"value":{"entity-type":"item","numeric-id":779380,"id":"Q779380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$CC85F053-DF21-4E07-884A-275C5B1A580D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$BF456C92-68F3-4C77-8A5F-1B9854217ACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234699$1E4FAA1C-7D9D-4946-B8E7-D1652A9943AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$C0FA8B47-56C6-4D80-A217-4B3464784C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$374484C7-17B2-4000-9037-8E4777714E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$3C0E9F83-DD4E-4149-851A-5EAB72557893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$AA58D1DC-E322-4CD6-A09C-29A665BC57F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57595a3e080c0a4e587fdae573865f28b80ac69a","datavalue":{"value":"7111170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$C3875149-559D-436C-A928-01014D9DDBA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234699$E2C8CDBC-8F76-41A3-A071-1F8D570DE759","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":"Q5234699$AAE45E96-098C-4EC3-95AA-5460A6AC5BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"747342311cf608b66c5ba5bdcbade422a5d34bba","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234699$1B957B56-2006-4B3C-934A-3CE372A8FE7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c9e5c715d5769d04eb4aa63b48b98f6b7afb992","datavalue":{"value":"W1506139968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234699$D6017AB7-3A2A-43FF-9719-C9DE47590D32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$927DE892-00DC-486A-BD0C-070CB4C511EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737c142cf6dd8a5b3c2bde5323ae9a9556e9057e","datavalue":{"value":{"entity-type":"item","numeric-id":4321736,"id":"Q4321736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$2706F825-F327-46B8-BFED-6BB3321F288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bc66615dec50ce937349a1699fa04b1ef626ab","datavalue":{"value":{"entity-type":"item","numeric-id":1324169,"id":"Q1324169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$59173030-FC1A-426C-AC58-9AD75D703B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$DD1BCFF3-A8E0-4C15-8127-12DA383F456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34347b729cf699b29a28650442e8a38dd25e07e8","datavalue":{"value":{"entity-type":"item","numeric-id":4287508,"id":"Q4287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$3EA13275-B3DB-453A-9863-6FBADBE2ED6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8d8a307c061de10bbc33f8194e1e12d849062d","datavalue":{"value":{"entity-type":"item","numeric-id":1331921,"id":"Q1331921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$295E86AE-D08E-44FE-931A-D9A2C6DB4D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acbd08d6e2540518c68cd81e35a1b3ce710f1","datavalue":{"value":{"entity-type":"item","numeric-id":4647543,"id":"Q4647543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$BC317236-8595-4EF4-A4C4-65FFCA80296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$E8B2AA71-DD06-4BBE-96D9-28570BA503B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5defa86c806728c8484bc4a7661727ba5b64173b","datavalue":{"value":{"entity-type":"item","numeric-id":4353623,"id":"Q4353623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$380A71A2-FF03-4AB4-9288-8CE7630E9FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a97d4abf49e9c558b69346dde08cef93db8ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":5234699,"id":"Q5234699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$2F52EF8A-82B3-470C-962B-40A5CB569AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234699$319C53D8-8AC2-442A-8070-447461EF043E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3791a3ff013801e143ea99576da0bc02ffc797c5","datavalue":{"value":{"entity-type":"item","numeric-id":1854365,"id":"Q1854365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6472e43424f9084de3dc7bdfab47c1c3eb7f1e32","datavalue":{"value":{"amount":"+0.8754553198814392","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":"Q5234699$BBE519F4-6EC9-4F5C-B70B-F6A9714C8760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5652f6ea177e26c0e269378dbed95cca44f56bb","datavalue":{"value":{"entity-type":"item","numeric-id":4353623,"id":"Q4353623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6639d3866663f36f4b7dc7854a4d1821230a8b","datavalue":{"value":{"amount":"+0.872467577457428","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":"Q5234699$AA1D499A-4C7D-4743-BD98-4F35D003B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f721f2b3e84e35fe584a0a56462151c57999bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4647543,"id":"Q4647543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d057607ef4ba086f9b56bf7b1a5f7d406635bad","datavalue":{"value":{"amount":"+0.8446541428565979","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":"Q5234699$5F84EBD7-BA86-4624-8F37-ABDBE9FA12CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68ad931628fa50c70b30e922abc60d9274e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":1331921,"id":"Q1331921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4bcc80af98d76c1be83312e3e326a713d67901d","datavalue":{"value":{"amount":"+0.843565046787262","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":"Q5234699$6E946FDA-3B79-429F-BBC9-9D1D7B3720DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0c3a381c041fbe2eae2b39a48dd6b99033b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4287508,"id":"Q4287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67966a29e5e65040b124cfe07a5995a46d33142","datavalue":{"value":{"amount":"+0.8264356255531311","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":"Q5234699$810F42ED-AE09-4000-9012-4F6BFD65EADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234699"}}}}}