{"entities":{"Q3007672":{"pageid":3018396,"ns":120,"title":"Item:Q3007672","lastrevid":58101768,"modified":"2026-04-03T19:42:25Z","type":"item","id":"Q3007672","labels":{"en":{"language":"en","value":"On variables with few occurrences in conjunctive normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908735"}},"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":"Q3007672$88C21DCF-B951-40C0-BDEC-63BE7EDFC971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ae26cdad2cd73bde98c316b920aad075ae2063","datavalue":{"value":{"text":"On Variables with Few Occurrences in Conjunctive Normal Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007672$DA36496E-1BB5-434C-A2F8-F5C194A5DBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caaf9695558b1b38d28aa223271e119f9ae57229","datavalue":{"value":"1331.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$314FA404-FE2A-46E3-A381-C47E3CB930E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25abbfd7c2e4244b920c823badd444bedc3385f5","datavalue":{"value":"10.1007/978-3-642-21581-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$DCF01C62-00AA-46FC-812C-7F5E7BA622BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$29BAECFF-4DE2-4E17-82A0-50582CC345D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$73F3A919-A640-419E-AA5D-D0111F508898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$6E7C5B68-A5CD-4AFD-8CBA-4275BB2339E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007672$0A6BB20A-1681-4746-AC26-678C8EA2906A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be81a45b7997ecf9c2231cc05bdd59327519d49","datavalue":{"value":"https://arxiv.org/abs/1010.5756","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007672$A9567088-931F-4EA4-BBCB-107636E1F04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$114A682A-EA7F-4640-8FD0-B5374B3081A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$DC41397F-56E3-4C69-9F8D-729318F246A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$AD75F6D5-AF30-4E23-A683-7661C476558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$04437C86-B2CE-44C2-A530-58ED384414F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01f279432f3706ead61d9b7de6e2b4b8b85d09f2","datavalue":{"value":"5908735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$0A038876-6842-49BB-8518-5FFC51880F9F","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":"Q3007672$099D0FB2-6122-4DD7-AC17-3A6A45294801","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"064727c78b0a29bb06f65a771d2a2194550524fa","datavalue":{"value":"W1673478525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007672$0987F970-BDC5-4F01-A583-D3DE43981143","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":"Q3007672$F35C64DC-619E-4332-99A4-DA3E01826D55","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":"Q3007672$A78168BC-93D5-4F1A-BE45-3D48BFE81B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$7B085A89-BEF3-4ECA-A44F-E36AD2E2ACCD","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":"Q3007672$C45D0DA9-500E-4654-BF49-B78A98D7865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6772daf53bfb86946f3c76b8ec82cae37cbc26d","datavalue":{"value":{"entity-type":"item","numeric-id":4930604,"id":"Q4930604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$F4EE1821-5AD5-418E-9328-FFF183605C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9755b6fd204c563dae2e45f8289c0a19e9c227","datavalue":{"value":{"entity-type":"item","numeric-id":3007672,"id":"Q3007672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$CEC486DF-6FE2-42A8-96F5-BC50F6C3021D","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":"Q3007672$C0E05BA1-6AE3-4989-B696-3065034402F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4555b8516a2a6e9af4db748d7449dd969982e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007672$6D504602-2F86-447A-A68F-3CCA79F60EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5877198c7d51f88da9cd4d65832e309cdc8d253a","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f403ce5824a2386e44c16ea6a25c02cea3c51e2","datavalue":{"value":{"amount":"+0.804893434047699","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":"Q3007672$12815CE6-F8C5-43F6-9522-1159EFB127EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c368e310248b355f5af7a99a411037cf0b5220","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a895e470f43e7315ed68baaac023a4e408c2a3a","datavalue":{"value":{"amount":"+0.7939043045043945","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":"Q3007672$C6C7806D-EFF1-4FFF-8B78-CC99FAE775A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1fb624429739a8554116ff1c7c978ea0694487","datavalue":{"value":{"entity-type":"item","numeric-id":1575269,"id":"Q1575269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a895e470f43e7315ed68baaac023a4e408c2a3a","datavalue":{"value":{"amount":"+0.7939043045043945","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":"Q3007672$C6BD5DFE-3C36-4967-AABB-964EF47A19D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880acca7b73831f2ef96ea6aa56c5186166494b","datavalue":{"value":{"entity-type":"item","numeric-id":2741528,"id":"Q2741528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af36616a5922a748cf286628fcf8d6f911773860","datavalue":{"value":{"amount":"+0.7554555535316467","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":"Q3007672$FA28EFB7-DA22-4F5E-BAFD-9A158C6945F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007672"}}}}}