{"entities":{"Q2938476":{"pageid":2949196,"ns":120,"title":"Item:Q2938476","lastrevid":85240922,"modified":"2026-06-03T06:23:51Z","type":"item","id":"Q2938476","labels":{"en":{"language":"en","value":"On minimum representations of matched formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386547"}},"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":"Q2938476$23BBD437-A3F6-4FD7-B6F6-87D18F9AB02C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ebc05e83536bc5a4e541aef1e3101e640a4ec1c","datavalue":{"value":{"text":"On Minimum Representations of Matched Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938476$DDDE3B73-8D65-4D7B-BD5D-17D6A4CF04D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e64825cc9e3df69d0a03158d65c9ab84c272c9a9","datavalue":{"value":"1315.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$A50EC1D3-194A-4CE0-A185-BC7FC6832504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db66f8f8eeba705ad18f41f8ce73717dd91f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":392183,"id":"Q392183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938476$7E1F07A1-F057-446C-85C5-3FE16FE3284C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00aa10c51a8f2bbd00152a5f41186d21eaf7dbc9","datavalue":{"value":{"entity-type":"item","numeric-id":2351038,"id":"Q2351038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938476$654984F6-9AB3-4B0B-B799-04F31539EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938476$CDA0026C-9274-481B-8205-89FD09E4A870","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":"Q2938476$B7D20C9E-E13C-4C62-8007-29E52EC26095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938476$C4D0F8E0-2980-4853-9DC0-82421068AF3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$FC1EAD43-88A7-4522-8EEC-EDEF508BBDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$981F36E1-1003-40A8-9C04-5F66BC767703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$7729EFF0-70B4-4A60-991C-D33D6506BAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$BDA7BFF7-FB25-44CC-970B-14C482AAF7CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49beaef6be37d3626d4e8abc89afaa0a5368c94e","datavalue":{"value":"6386547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$3AD30BB7-7C6B-4EB5-B192-25C675A73E56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938476$637335A6-F10A-4659-BB65-763F5BFAE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb51fcd8e8e03b7b19a2af1cbf57fa2aa9f5ee99","datavalue":{"value":"Boolean minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938476$935A18CC-3684-436A-AD22-AED25680DEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938476$718AB4D7-D1B3-4CCF-A00D-DE4CF3E75A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938476$4B22770D-BC87-4556-ACD1-71AB95839BFE","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":"Q2938476$8D399760-19C0-441B-ACC0-A6C066041165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a14b597e873f165f9f81baf00949e6657cd434","datavalue":{"value":"https://doi.org/10.1613/jair.4517","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938476$2CAE79BF-D793-492C-B25E-D3365ACBE187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa456d6a3a7123f9048d43e6451bf008db2514be","datavalue":{"value":"W21735963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$C61B9E95-A7B9-46CE-BB1C-719A263B02BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43df11deb7f603aeec219e4c76f94265e38ef775","datavalue":{"value":"10.1613/JAIR.4517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938476$CD670976-22FB-4AF9-89C3-6A0D7D4C7220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec44ed579642d82379a860e1651dd6e3272909b","datavalue":{"value":{"entity-type":"item","numeric-id":1777405,"id":"Q1777405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d160a974c7be40cecead3100f795a31bdd0a37d","datavalue":{"value":{"amount":"+0.7846854329109192","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":"Q2938476$1B460652-05FB-41E3-B5BB-25AEF7D9E99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d8ffffedff4ecf4d120d8108301fafbbaf37f8","datavalue":{"value":{"entity-type":"item","numeric-id":412324,"id":"Q412324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742bd5ec0f41190eef7b1ba8d084687a7d22d949","datavalue":{"value":{"amount":"+0.7681722044944763","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":"Q2938476$05614AFF-2B8D-4714-BDE7-4D1BAD5B2F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8c9b842701a8393b3935809d1571ead2e58d5b","datavalue":{"value":{"amount":"+0.7675857543945312","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":"Q2938476$008187F1-9206-414D-BE9A-D5B5D37D3CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902cfb41e25fa5209a29bed49cf2926995f04c55","datavalue":{"value":{"entity-type":"item","numeric-id":1777408,"id":"Q1777408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba6e5b1a6235d96adddd3b35ada4ecc01bde80b","datavalue":{"value":{"amount":"+0.7653232216835022","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":"Q2938476$3FB63E47-D73D-4791-A403-2303EEA0411C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdafcdb55549a9ea4bdb51f06ac368c5d42c008","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b36982a27ca37ed295ad65f080d1743c7d60d4","datavalue":{"value":{"amount":"+0.7612506151199341","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":"Q2938476$955B1B4A-8C06-4F25-BC4E-40F9E4174E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On minimum representations of matched formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_minimum_representations_of_matched_formulas"}}}}}