{"entities":{"Q1408387":{"pageid":1419127,"ns":120,"title":"Item:Q1408387","lastrevid":48175165,"modified":"2026-01-03T21:02:05Z","type":"item","id":"Q1408387","labels":{"en":{"language":"en","value":"Homomorphisms of conjunctive normal forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1981514"}},"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":"Q1408387$5123B057-FBE9-4048-AE9D-1729A1300DBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3aa471c3b07d3fbdfbde37fc39508772f30981a","datavalue":{"value":{"text":"Homomorphisms of conjunctive normal forms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408387$4AB957FB-CD48-4ABD-A3E6-657C0E046C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee2d9622f9b81d477a79aa289a363bc1c46e866c","datavalue":{"value":"1033.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408387$2B69EBA9-A5AA-4A89-8306-DB9CF9E2672F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34ea9b65766c90c0006ac52c4547b4b4f725fc48","datavalue":{"value":"10.1016/S0166-218X(02)00411-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408387$92C07AE0-C437-45A1-A02E-B6D90EB39E8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$8448D23F-CBA6-4543-82B8-03742E749FDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$D1CDDBB6-217B-46ED-907E-E62878969B0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdb952d10b49f391b9728d4aaf2d3506fc5000a3","datavalue":{"value":{"time":"+2003-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1408387$85AD2244-2DA7-4E9B-B9A7-B8B863B527D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408387$5CF966B1-9383-42B8-9A64-00F55A0BF493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408387$6A130628-6C47-47E0-8205-77578D3A0CC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d548b7e578c5838015f08703ffff778482464b04","datavalue":{"value":"1981514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408387$8E8EBA1C-2983-412D-B30D-34D308735EC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8a64adfb1706ba06199a16363dc162adabb94f","datavalue":{"value":"\\(p\\)-simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408387$75B9BC31-DE5F-48D7-B545-B6E2C91EDA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408387$86F52E78-94E3-4B02-B128-985296A0BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"318d40173c56c7b2ea99904f2e5557adf9953e34","datavalue":{"value":"unsatisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408387$33DFA78E-A0EC-4D67-9385-3C00826AFB9E","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":"Q1408387$BCB78EBA-FA1E-4B86-BD94-9D8ED151B7EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$99F48FC1-0B58-4EFA-BC9C-8E520F0381C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52abfff66676b4eb7ad7536948cbef2ff533e75","datavalue":{"value":{"entity-type":"item","numeric-id":2721182,"id":"Q2721182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$7FBC4C8F-61C2-4B76-B241-C60CBC97F80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755109124011cd8e3c658ad937263073737abb6f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$812C0BED-04C1-43BB-A00C-BC57985B720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$174B8CF6-0287-4DED-9AE8-E54CB4327EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$F6E30901-C236-4DF2-BB2F-74AAD6556118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$C4B234EB-5218-4682-8270-D020DB697546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$34A19E36-E073-4308-B7B0-E7D9D453BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$A9BA45E9-5279-4FE4-8D07-2748580ED7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981f2aa5602bf05aabd13fac87fec61adfeb287","datavalue":{"value":{"entity-type":"item","numeric-id":4263797,"id":"Q4263797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$9AE89961-5191-4415-AF74-D51F92C15B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$62841C8C-38CD-485E-9370-0CD1345B147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$30564321-5707-4434-875F-1DEA9044B1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$94C49086-949A-4730-BC77-5224C0F633B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$4FEBA5FA-2F53-469C-B16D-5A2BE7859AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$1B0D8D79-CDF6-4D3A-B5C9-58EB6A0FC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$12165A8F-F8BC-4996-8952-B39EF0556EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$E2E0E65E-20A3-4C05-982B-EBA745382F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$EFFE4A28-8C75-4319-B5E5-AD270512E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$58B17212-2734-4808-B4B2-56D74C73D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2a85fd0daac5ebbfe9d1d095a6735cbaa6d82","datavalue":{"value":{"entity-type":"item","numeric-id":1961453,"id":"Q1961453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408387$A9EAAC8B-B231-45DA-B8B0-17370153C011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86627e71f51da40e17c2fcaf70afdc068c30715a","datavalue":{"value":{"entity-type":"item","numeric-id":4675622,"id":"Q4675622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba082e4497c7f47c2cc22c2a656557aaff605dd","datavalue":{"value":{"amount":"+0.8775165677070618","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":"Q1408387$3C288663-3EB0-4420-97C8-31519FBEB913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ecb93b794022b0047bafb37df1c9cc3623ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":1853126,"id":"Q1853126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b36342c2a2fb493ccbe51266d591508dc51c29","datavalue":{"value":{"amount":"+0.7823619842529297","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":"Q1408387$2A1A2034-30E9-4119-BB52-A480A11F48C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed0229637ce326ee3bd699833a8dad482880a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1777396,"id":"Q1777396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d04c69977f8dc5e263ce56be327648a365bae1","datavalue":{"value":{"amount":"+0.7696090936660767","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":"Q1408387$0D518FD1-0596-41C5-986E-DD1990CB323D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf6d55f21836e77cdf181a7374cf30bb6d35fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1771316,"id":"Q1771316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3571fdc3d02aadb64948b8d1e5bd867c9092e939","datavalue":{"value":{"amount":"+0.750981867313385","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":"Q1408387$71DC5CC1-18D8-4234-9274-9336CE84B9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f584b6e7aaa9f9e37c6f1d0079e14e6c14d9a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4418674,"id":"Q4418674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87aff745635237da83b3f49b2d5e6334725b48f","datavalue":{"value":{"amount":"+0.7467799186706543","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":"Q1408387$7287122F-B420-4A37-BD71-FBB2F27D5437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1408387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1408387"}}}}}