{"entities":{"Q1035838":{"pageid":1037686,"ns":120,"title":"Item:Q1035838","lastrevid":69473280,"modified":"2026-04-13T07:14:34Z","type":"item","id":"Q1035838","labels":{"en":{"language":"en","value":"2-cnfs and logical embeddings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625032"}},"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":"Q1035838$BA41C6E6-0AF2-44AE-8845-3BB08DAFB014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"677f3ce69ba85b920ebd5c355c7c74ba186ba99d","datavalue":{"value":{"text":"2-cnfs and logical embeddings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035838$474996B2-7EB7-43E7-AE80-386380191B57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d10455754af316f6f32c7ed76eee293bbdbdce9d","datavalue":{"value":"1182.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$835BF0EE-8C66-4739-84CA-385EB7885F93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$48D91C80-51B4-43FD-86A8-3C22F5B0D3F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035838$A70BD785-F7D6-44B8-BD5E-FDD8921B6CB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$F1D59952-8641-4D94-9FF8-9F627EC3C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$51FE1B5B-85DA-42B6-AFBD-5D402C9AF172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed9c7ddbbe673e369fdfc1372e83048c2f13050","datavalue":{"value":"5625032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$E7A6180F-B86F-40B3-93F0-41BA098E2056","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bfcd592f22d7e086c8904681d70cb21b905a39","datavalue":{"value":"2-cnfs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035838$F6F2C72C-04D8-496E-AD00-7F117535DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2b36d8ed395717d7364f17c0b7c57df3783c19","datavalue":{"value":"3-cnfs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035838$E7DC64BA-60E7-4A4F-994D-12F1F945E1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf347bf6117454727d0d322f4d049fe0c8984d5","datavalue":{"value":"logical embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035838$A94660C2-823C-44FC-8BF0-37967AC8A741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd44f8afaafd597582884a2d4bfffe0e6fb40c04","datavalue":{"value":{"entity-type":"item","numeric-id":920086,"id":"Q920086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$E77254CD-7404-47F2-B6A5-06EB8A1B4811","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":"Q1035838$EDBE3D6D-0779-4BCC-844D-D50A1646EEBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b1ec519298e29f40bb85760929ab256a97236d","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9206-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035838$E97B003C-D8FC-4FE5-8791-C4C626ED8B29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b7630df4a115302875e3908ee84e292e4c8787","datavalue":{"value":"W2160262048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$4D1AC293-D295-45CB-850C-6AF48CE7BF98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c80ee061cb77a100a99a4655cae150844aee35","datavalue":{"value":{"entity-type":"item","numeric-id":1894350,"id":"Q1894350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$C5D5004A-F4DD-44A7-BC83-28582EB3F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76717e3a48bfbd3e2e4df48ba8eda24296cd63e","datavalue":{"value":{"entity-type":"item","numeric-id":920087,"id":"Q920087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$C8505DDA-E647-48F6-85A8-2E556177BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325820f1da9bdbe993d9d54d34a90dc88d69e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4869540,"id":"Q4869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$1C9080F3-06F2-418A-AD3B-B15D57DEDE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205913ec2cc50ff99ae354faf5f63b8c60bbbc48","datavalue":{"value":{"entity-type":"item","numeric-id":4250065,"id":"Q4250065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035838$D90960B1-08E3-4CF6-8442-B02D43F563B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0d82c108b3eb240071a60d0ea16c100e6945c46","datavalue":{"value":"10.1007/S11225-009-9206-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035838$C5A8DD6A-3229-42A6-BB8C-F6D45668329B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08e28d7bd885250d2efe37f40da69f48913a491","datavalue":{"value":{"entity-type":"item","numeric-id":4809549,"id":"Q4809549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b82a8a0910b591d7e5c421081a287962d4b50e6","datavalue":{"value":{"amount":"+0.8607577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$332A3F86-F1C5-4860-AB2C-C94948FD09F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ae247fdf6fa4dbdfb40f625216f67eabdb9b9d","datavalue":{"value":{"entity-type":"item","numeric-id":6098146,"id":"Q6098146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0bda03bb3d0f4ed15546f0920462cd82f4f484","datavalue":{"value":{"amount":"+0.8601889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$E8577B9B-3899-4287-BF5F-F4B34453AA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1a5ae51cafdc84922b1512e8f90d1741591aea","datavalue":{"value":{"entity-type":"item","numeric-id":5111278,"id":"Q5111278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d2c9b8ea476fc1774de9cc75868c9af4bec214","datavalue":{"value":{"amount":"+0.86018884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$668BAD21-76C9-445A-8E38-C885EB74F655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea905d9e63177015a3afefcbfc9008a2bef1998b","datavalue":{"value":{"entity-type":"item","numeric-id":2729669,"id":"Q2729669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a798aa0d63f1f6bd87f479ab74710e74720f1efd","datavalue":{"value":{"amount":"+0.85872805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$EAFF7FD2-CFCE-4B18-A00F-8BE536F60FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5ad32c89452602be7df297888f481df953327","datavalue":{"value":{"entity-type":"item","numeric-id":3007673,"id":"Q3007673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc9b6a569ea579fa115ad4c01b1f7ce4d6ad12b","datavalue":{"value":{"amount":"+0.8576648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$C9A4147A-D148-494E-85F1-53735E08DDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2124ba8320a2e6867e8f9dcc3e7c01c1dc77f4d0","datavalue":{"value":{"entity-type":"item","numeric-id":4355235,"id":"Q4355235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2559c461d4cd0fb5d6ed06a958af50aef6dc5276","datavalue":{"value":{"amount":"+0.85476434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$0D855BD2-A135-4496-900F-D07A9FD44DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcdd35826b52065bda04891646ec7dac829c4f0","datavalue":{"value":{"amount":"+0.8509455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$4AA5D7BE-163F-454B-8194-D020DC7ACC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a089539d02e4be8b12875565745307d94e0f69a","datavalue":{"value":{"entity-type":"item","numeric-id":2815090,"id":"Q2815090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a1ef97416a389687da3481b56f11b332ca699b","datavalue":{"value":{"amount":"+0.84151655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$9A821064-0058-411D-A666-D0EEB91FC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd79ff2285e7b5cd6a90d1a49705413510ebdeb","datavalue":{"value":{"entity-type":"item","numeric-id":5692811,"id":"Q5692811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28f65d57411d023ff15bdac86b8f48e277b8ccc","datavalue":{"value":{"amount":"+0.8414868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$B39B2AA3-0C46-421E-BDA0-A5425871EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c774ca9b0f9df5f8039be1616a2826127037a2","datavalue":{"value":{"entity-type":"item","numeric-id":2787446,"id":"Q2787446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1287b03b8a66c63693eade52cf9b2db494f2f884","datavalue":{"value":{"amount":"+0.8396201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035838$716E3BAE-B12B-43EA-B6EC-2AD9AF6E5EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"2-cnfs and logical embeddings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/2-cnfs_and_logical_embeddings"}}}}}