{"entities":{"Q4283247":{"pageid":6312848,"ns":120,"title":"Item:Q4283247","lastrevid":47232046,"modified":"2026-01-01T02:09:38Z","type":"item","id":"Q4283247","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515744"}},"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":"Q4283247$498795FC-EF89-41EA-9E81-6F32E4B52F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f28ea3a23019bc5a22876f8a087fba8bdfd8dc98","datavalue":{"value":"0788.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283247$4FD8FC5D-7248-405C-A0E6-B53BA4B30F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87ddefd6c83e22cbdb85f95663ace293dcff1d10","datavalue":{"value":{"time":"+1994-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4283247$00CAE7DA-7468-4374-98FE-EC0C624C029B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283247$51733E1C-349B-4E1E-B20C-E2C2EAA3D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283247$84316220-4245-4E23-A332-D14CE39DCDF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27249d5c329922e9ee126a5378366fc8702c2cec","datavalue":{"value":"515744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283247$22CE1AC5-AC48-478D-97D3-DDFC77996474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e622f9f46c5c7fb389eedcc27d04a8ef5c45e665","datavalue":{"value":"3-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283247$F5DDF2ED-ADA4-432F-8F5E-B58BF5B39251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283247$3473E700-243B-447B-A106-112032076B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283247$5EE3E716-162D-4137-926E-A90F4F90931A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09124aade2f9a2d1dad9d1d88ddbbb2bdabd00","datavalue":{"value":{"entity-type":"item","numeric-id":228794,"id":"Q228794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283247$57CA0A22-520C-4865-A99D-821E3151CB35","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":"Q4283247$7389454D-90C4-4CA7-B6DD-70CE0A0D7C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541151f2f12b50881bc2032c5e971e5e80b5f848","datavalue":{"value":{"amount":"+0.9553661346435548","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":"Q4283247$118C7457-B5AD-41C0-9EB0-B339575D0445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fc0cac9ab2cdce4575e1e06cc6d66a21e2bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045104ed9ed00489910770d7ac9dfa4aa974283f","datavalue":{"value":{"amount":"+0.8653994798660278","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":"Q4283247$82C0E236-7957-4B05-891D-D275F4D5B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a70819846788d416b920a93f8abda03516a96d","datavalue":{"value":{"entity-type":"item","numeric-id":5325857,"id":"Q5325857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3f388b6bc37dee737d7e094363e48f25818472","datavalue":{"value":{"amount":"+0.8653837442398071","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":"Q4283247$6556EEBF-DFA6-4945-8DF3-B6A9B4E2B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a9b5319bae8b141da6543c0f29ae638bd89052","datavalue":{"value":{"amount":"+0.8608918190002441","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":"Q4283247$8B961458-2A78-4E7E-A1EF-243C32E5D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97de987f4ba840cfbebb8cf0b3af6fc33184b089","datavalue":{"value":{"amount":"+0.8605998754501343","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":"Q4283247$C37F7977-88B8-4D0E-A090-E2823E3FC771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4283247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4283247"}}}}}