{"entities":{"Q1575269":{"pageid":1586009,"ns":120,"title":"Item:Q1575269","lastrevid":72229533,"modified":"2026-04-14T03:29:43Z","type":"item","id":"Q1575269","labels":{"en":{"language":"en","value":"DNF tautologies with a limited number of occurrences of every variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493211"}},"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":"Q1575269$E90321A8-7226-4AF2-B0AD-EE938D434D34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f00596017b94861c781a47f0cd69ba776647d1d8","datavalue":{"value":{"text":"DNF tautologies with a limited number of occurrences of every variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575269$EFDF943C-A4BE-429C-A0C5-FBEBD2DC82D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfea9a4d52cc76a8b04c9af447dfd81ea667c1c7","datavalue":{"value":"0944.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$40519911-0C05-400A-8EF0-ED3FF3E27627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9f9f5a73af14ebad7b89505903e990c33854b6b","datavalue":{"value":"10.1016/S0304-3975(00)00036-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$7DF83DC2-C4E2-4BB1-93F2-FBA428D3E3B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$2D5871D9-470B-4D44-8956-7532F166EFC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575269$1200DA7F-22CA-4A29-8F91-A22647893D42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$5441FA34-EACC-4623-A930-8576EC6F48A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"278d92d579fb3fab8252cc6a9f71798eead7704a","datavalue":{"value":"1493211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$79023E49-8BC2-4876-8005-680A1B91B526","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575269$4A823075-C477-4422-81EA-6F7363A2EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b673b20dc24b9fde87cc481eda646ca2667bdc54","datavalue":{"value":"tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575269$F8F6F67B-C8C6-428A-9F74-F3CE71C8A915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a64af2743b70201f71e7f5ac4e88f6cb9faf33b","datavalue":{"value":"occurrences of variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575269$5AA55092-6FAB-4186-BC9C-9E38A9A48690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3130e87f1749c59ee4d0e395d449a1e09007fc09","datavalue":{"value":{"entity-type":"item","numeric-id":278738,"id":"Q278738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$590D0F9A-256B-49B2-A213-73C5A1ED07A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68410c8b701a5d2353de4ef8d65f833c0ac3784e","datavalue":{"value":{"entity-type":"item","numeric-id":170016,"id":"Q170016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$5496A671-DF82-4FB9-9A36-0E526A77156A","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":"Q1575269$645EDF7C-03D9-45AD-94F6-57C878F04B30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"230d404ddf32749cc3483b594ad900fe804704d0","datavalue":{"value":{"entity-type":"item","numeric-id":1822964,"id":"Q1822964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$4E3EBE4A-DF31-4FFF-8506-70F2DF85785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$E1646E39-E4F8-410A-87DF-0B62743F4634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575269$C9589900-BEE0-4BE6-B61B-5E5BFDAB1ACD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f24faec73e97989dc0200b2c6173b891146b421f","datavalue":{"value":"Q127706329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$046CC7E8-21CE-45A6-9E34-F79CB69BDDCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f92346d7f1b858dd5307efacfa229eafc8081905","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00036-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575269$BA453EEC-080C-41DE-B373-D38E5406EE08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36f51f9c391da4c73225550c0d865c829d87fcec","datavalue":{"value":"W2044983583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575269$71DAF4F3-6547-46C2-8ADC-5601F436DDA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b97ba761d4e2b6ccde57061d1068fe5c8a35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3440269,"id":"Q3440269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5627938eadf89a39f87fdd3f456ebecc01c4469d","datavalue":{"value":{"amount":"+0.8142850399017334","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":"Q1575269$E794AE39-9BD7-45C8-BB9B-A22A5E796D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee4e3778f9b91ebdadad98f10bade3ec06a8f9a","datavalue":{"value":{"amount":"+0.7915392518043518","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":"Q1575269$67499F3F-2F6A-41D9-B02D-81522FC9439F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f9eb5a61b889b8a4c91ef8169e6b082b9ddd11","datavalue":{"value":{"entity-type":"item","numeric-id":5210575,"id":"Q5210575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c93968780215b2b6976f98a7ef73c48ec84cc9","datavalue":{"value":{"amount":"+0.7618570327758789","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":"Q1575269$F9F92F36-81D1-42E9-9B3D-790659183806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06991ccf06069f6f047a45ab0cc7be22e30f5c","datavalue":{"value":{"entity-type":"item","numeric-id":557836,"id":"Q557836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a6c57a8c4a5a3b72177288892bd06ddbeda717","datavalue":{"value":{"amount":"+0.7499011158943176","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":"Q1575269$8D592A45-8DCC-419B-8A91-E507CA4EB7C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DNF tautologies with a limited number of occurrences of every variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DNF_tautologies_with_a_limited_number_of_occurrences_of_every_variable"}}}}}