{"entities":{"Q3651483":{"pageid":5681389,"ns":120,"title":"Item:Q3651483","lastrevid":88592270,"modified":"2026-06-04T14:55:59Z","type":"item","id":"Q3651483","labels":{"en":{"language":"en","value":"Prime implicates and prime implicants: from propositional to modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5644886"}},"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":"Q3651483$024617FF-9085-4D79-A6DB-08053500CA8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85012aa0b889a77f518a9e15e086c374c758a8a9","datavalue":{"value":{"text":"Prime Implicates and Prime Implicants: From Propositional to Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651483$4FFFD2A0-480D-4A1A-929D-27C9648BD17F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47c27da396f884d923690e152cf6a8c24fe336b1","datavalue":{"value":"1179.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$AB1515CF-0EC8-446B-AB28-D0505C7767EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651483$BC1FDD5F-EC65-42C5-8FFB-1AF2581BA230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6ce818669682925118cd407f6c06ae9ab76dff8","datavalue":{"value":{"time":"+2009-12-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":"Q3651483$19297452-8851-4FBD-A1B4-DB92134A3C68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b31c6820c14d2ed95ab875dacae6eb456fa7b86b","datavalue":{"value":"https://arxiv.org/abs/1401.3475","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651483$ED7A5C59-AFBC-468D-B177-F794D1702D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$6A8DA31A-221D-4F6E-BA99-D56C80939BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$AB9E649F-B532-4CA5-8895-A91E81B5F80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$6F4A6864-F722-45B9-9995-BE8C3048DA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$9E3FF421-3494-49D5-A628-B80FFCC2CB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6e55fc85787c8cb1a143b9c43ba48b6b8dc085a","datavalue":{"value":"5644886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$A387A955-FCCD-4DC0-9A7C-4C4ADEB8B839","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":"Q3651483$0FA66496-8AC9-43CD-99FE-5FC066DC4153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2a6d687530bc0253acd771a663e42a85e678ce7","datavalue":{"value":"W3102048506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$8399DBFA-C0A3-42DF-958D-C8B944C75504","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3824f432b239cab00e494008b04609a8d52b87f1","datavalue":{"value":"Q129518358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$1C983C04-C930-432A-A3A8-9BFCC5BD0774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6d92d59028984ee0b8d19fdb73fdf5995f405f0","datavalue":{"value":"10.1613/JAIR.2754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651483$EB6E32D0-FCC2-4C0D-BCCE-9661A2F4322D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c5b28df8673113f6613bd759bdece9b1ac5cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5410643,"id":"Q5410643"},"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":"Q3651483$239C2677-C4A4-4A8F-84B9-E8D5F0EEAC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75cac365b633807087fb352c4433a77567d35971","datavalue":{"value":{"amount":"+0.7997443079948425","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":"Q3651483$CA5DE06E-01CD-48A6-8BB6-0466C2A05139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a9136ca9628a21992d5737f5382ec8d96c46be","datavalue":{"value":{"entity-type":"item","numeric-id":3454103,"id":"Q3454103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd0206e61c3aa55b937666b90df82d590d14027","datavalue":{"value":{"amount":"+0.7997437119483948","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":"Q3651483$889D71A4-BE97-446F-B092-8B68CAA82387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373105376c37507e10d4835337ef68ba9fac72a5","datavalue":{"value":{"entity-type":"item","numeric-id":4464262,"id":"Q4464262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db3082466e3eaf493449bf328e50a8def1021dc","datavalue":{"value":{"amount":"+0.7988832592964172","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":"Q3651483$F06B0A87-2107-4052-B7FF-45C171825B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8482aacb30e17591e3eea978c6653002cfafb7","datavalue":{"value":{"entity-type":"item","numeric-id":1403323,"id":"Q1403323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fab19660c941b790c9fcc51475135ae8b61a4bc","datavalue":{"value":{"amount":"+0.7862695455551147","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":"Q3651483$83D1F4CE-2F64-4D01-8A89-1DDD558FB88D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prime implicates and prime implicants: from propositional to modal logic","badges":[]}}}}}