{"entities":{"Q5410643":{"pageid":7440217,"ns":120,"title":"Item:Q5410643","lastrevid":51980393,"modified":"2026-01-20T16:35:12Z","type":"item","id":"Q5410643","labels":{"en":{"language":"en","value":"An incremental algorithm for computing prime implicates in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286270"}},"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":"Q5410643$7881069A-71EB-44E8-A9E3-7011FEEB374C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4409574c5e20d6827f8236d9e895be0adb5068ac","datavalue":{"value":{"text":"An Incremental Algorithm for Computing Prime Implicates in Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410643$98414C1F-0747-4823-8A80-CF6505743170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc51e22bb7ab1acc50391ecfb5350dde7e3e886","datavalue":{"value":"1405.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$095E4E26-FE9D-42E2-ADB8-A2327ED3F9ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5c2ea5cccd5bbec6124f3e9c8e5ca54e04e712e","datavalue":{"value":"10.1007/978-3-319-06089-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$7B56A8C5-A88D-4EAF-A4F2-8EC2901F68D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e6482b4d532ce97e15e32701ddd00de8016f93","datavalue":{"value":{"entity-type":"item","numeric-id":3451455,"id":"Q3451455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410643$BE869F16-B774-4D56-B51F-4719C3D33940","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":"Q5410643$5EF067F7-D56D-421D-9053-35F693E611C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410643$459D933E-F66A-4440-B1F8-8917ABDBF3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$126F2D22-609F-4AA6-96C3-184D4DD62024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$6AEA37B8-4917-47AC-B9DF-4302C702ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$C08E843F-AE7D-4749-8BF4-6BF9A6E475EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"841052de7fd9c3c5eaacd133872ea8d59e81d390","datavalue":{"value":"6286270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$EAB7F462-7D9F-4843-8A6F-753A207F5233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410643$66DD5D08-8DCC-4DDB-83D7-B7E8D92E443E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410643$141910EA-B6AD-4C95-8415-81C3AA7A9DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410643$48D366F0-DB17-4E65-A8D7-28D11D982EA0","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":"Q5410643$8D9FCDB1-1ED8-428E-B7BC-8FBA6F42D02A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36701c858daf832044b59704438e19d3be3c35c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06089-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410643$917703D6-0C31-4E38-8B5E-F526F09B0BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35c4589c5d7dfa2fee4e1f9f7035e9a451105f1a","datavalue":{"value":"W993196258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410643$3E1E7A2A-4165-45C3-B632-BF86868B9232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec897f03cfd4fa723f652ddb9d52346842cbfed","datavalue":{"value":{"entity-type":"item","numeric-id":3651483,"id":"Q3651483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc1caee1d3968551097b8e4e64654c64877478","datavalue":{"value":{"amount":"+0.8398219347000122","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":"Q5410643$467D6004-4AAD-489E-BAA1-25BBCD35FF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7be220fcdbbcba624f28ef54fe592d6840c88e","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7476b25a1690973ed912a49b1bae525de34e356a","datavalue":{"value":{"amount":"+0.7927721738815308","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":"Q5410643$82EBCB3C-5119-4DFC-B64E-9E003A83A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310a2ec21230e2aac5f57d387db124a2bdebc45a","datavalue":{"value":{"entity-type":"item","numeric-id":3133151,"id":"Q3133151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651ffd792b71c8a91cbbe64b25b897406261c313","datavalue":{"value":{"amount":"+0.7528010606765747","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":"Q5410643$A46ADA49-78CB-4D92-A4DC-C849708596C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce9748e77b95bcb798d85b20b9a2d47caf8069f","datavalue":{"value":{"entity-type":"item","numeric-id":4399714,"id":"Q4399714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83be22baa893fbdba0ac0a4a8f4b7ea7986fc2ad","datavalue":{"value":{"amount":"+0.748566746711731","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":"Q5410643$EB0E96EE-DC9B-47D5-8DC0-72C371EE9A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00627a547c1cdf646339f39d33fb7e3913e9dbff","datavalue":{"value":{"entity-type":"item","numeric-id":1283201,"id":"Q1283201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc9900231bf88b2a463e65ab78e101701500948","datavalue":{"value":{"amount":"+0.7434263825416565","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":"Q5410643$DE6511AF-F5F9-4792-9691-C9A6C82E66CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410643"}}}}}