{"entities":{"Q4249522":{"pageid":6279123,"ns":120,"title":"Item:Q4249522","lastrevid":46834563,"modified":"2025-12-25T16:48:30Z","type":"item","id":"Q4249522","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303023"}},"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":"Q4249522$4D7E8413-114A-471C-8F0F-B4E8FF0736F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14434e26ef96deb2e1a2d03ff565e74b89f9a5c0","datavalue":{"value":"0923.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249522$2803FB78-4043-407D-8655-3EE16328CC23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249522$5DFB6F42-7E35-49BC-823F-5D03C1EAB4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249522$37708267-7C70-4DD0-92F8-BB32F5D4778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249522$8DAF6B12-A446-47BF-AB5C-158A983DA9A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-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":"Q4249522$DF41041C-9075-4B06-86F8-772B1AE84F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249522$A1005639-13E7-4CC5-B9A4-C0C0A85094E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249522$CAFC559B-461A-4303-AC89-3F63BEBBFD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249522$467D11A2-50C9-4569-877A-352C13859AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ca898b95ca3e90c958779b84e202660345bea7c","datavalue":{"value":"1303023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249522$A9CB251D-721C-42B2-8B04-B82100E499CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d0bac74853da4dbc4a0321bf2ce1f650eaf279","datavalue":{"value":"disjunctions of propositional Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249522$22EEC5EF-8DB0-469D-B46B-C1102DFD7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce6788e452da65a2fa4b4eeef0f3fe6f9d941ce5","datavalue":{"value":"Horn core","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249522$7BB2C6AE-2F4E-41AD-B219-D59F144A6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfaf07ba01b21f48de25fbb8c50ff8b582a2e970","datavalue":{"value":"Horn CNFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249522$8847DFB0-551F-48D4-BB81-76A2FF32AD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcc38ef7a2eca14e0500744dc3db7ed68cd18b6","datavalue":{"value":"characteristic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249522$CE5562A0-B43D-4FF8-A3AC-01497D178ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d85c121e6e6200a1d4667137fca957de2656737","datavalue":{"value":"polynomial time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249522$3E0E3237-F8EC-48E1-9CB4-B68C584A62E7","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":"Q4249522$8CECBEE1-7621-4220-82FF-C2EFC13C8D55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b137fed046d9200684344adfe9305ee0127d5e4","datavalue":{"value":{"entity-type":"item","numeric-id":5929916,"id":"Q5929916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55072f2d9028b050eaecf9be2c4feebf2bd0aceb","datavalue":{"value":{"amount":"+0.8343940377235413","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":"Q4249522$84EC134F-FC5C-4EB2-87D2-AD174A20681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c243eae491e182fe51735004bba5ae2004b00689","datavalue":{"value":{"entity-type":"item","numeric-id":4251064,"id":"Q4251064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af5d54df72088ed138a165c888d1e7e6e50b94d","datavalue":{"value":{"amount":"+0.8178552985191345","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":"Q4249522$A92FEF55-BD2F-4EFE-9B91-72D56819C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e4aaedbb296a7df190ad7ecf69f39338f09de","datavalue":{"value":{"entity-type":"item","numeric-id":1606297,"id":"Q1606297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e941342b3778d36c6e4a21ec28018e8826b072c1","datavalue":{"value":{"amount":"+0.7808403372764587","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":"Q4249522$7EA09AB2-3773-43FB-9533-6D6BB625D220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3252dcef05d12f04e9bdb7b8046416e0e2853d","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7925c182f17b063aeabd79766fe302335b435899","datavalue":{"value":{"amount":"+0.7738469839096069","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":"Q4249522$EA98D86A-1A2E-48C3-9361-51568A133B27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249522"}}}}}