{"entities":{"Q4032028":{"pageid":6061764,"ns":120,"title":"Item:Q4032028","lastrevid":55230118,"modified":"2026-02-05T02:25:47Z","type":"item","id":"Q4032028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 151927"}},"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":"Q4032028$6ADA0456-B92E-43B4-B475-76D670D6B657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1ae6578fd3fe09b0be2e35cbda24d33954f143f","datavalue":{"value":"0765.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$C7199A58-8D70-40B1-AFC4-9FDB7D29A6B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03fd081f05e1cde780a8722aa316e279e35e71bc","datavalue":{"value":{"entity-type":"item","numeric-id":165973,"id":"Q165973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032028$875879F4-A639-4A18-AB35-DDFB58C1EFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"059df21e7cf8141531910d3976aae45143e8a548","datavalue":{"value":{"entity-type":"item","numeric-id":3682516,"id":"Q3682516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032028$C45EADA7-3212-4D94-BB8A-C01B6A2E823C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aabe9973fd56f6cc3e21060437e4c1013880267","datavalue":{"value":{"time":"+1993-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032028$07BA25A2-3505-4BAE-9DA9-9D6D474F6AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$849A8852-2B27-4005-8F9E-4DCB50568F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$D20D7C8D-D8F5-4403-8A1E-E5B46D8484EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$93F02FA7-0967-43A4-8C8B-346C2065280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$0372AD2F-5DD4-409E-B001-CDCCAB5E5E12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20df9ceae69b6d713b4bb73911281eb59b62d67","datavalue":{"value":"151927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032028$DD912114-76E1-4826-A9B7-1C6BC83BFE3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032028$104F6042-6F9F-4A9C-A8AD-8126FB749B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a166875a5ab8a0f9ea9f779f771c77e2c2431cd","datavalue":{"value":"minimum deduction graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032028$8918CF0A-0599-4BCE-9D58-E91B14893609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"528ad781af960156a3493bbd65fd09f4358e77cd","datavalue":{"value":"inference problem in a fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032028$94263062-FB8F-401A-B7A5-36BC23F314A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032028$023665C4-6EB6-43C8-B9ED-D18E9FC52ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032028$33697608-4AF5-4A10-991B-CBD4F77932DC","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":"Q4032028$196FD207-40C4-4F4B-B4B1-A431D0A8664A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d1db686ce741871b5846578f3bcb83e6f17b1","datavalue":{"value":{"entity-type":"item","numeric-id":918954,"id":"Q918954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69a6cf60b6d7be8d1cfdcf40d263b9a64ecd9af","datavalue":{"value":{"amount":"+0.7122952342033386","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":"Q4032028$86CF2548-2147-45AF-8FBC-12C86F225C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46f545f5206237de1e59d5f12adcb40c7fe5754","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f306c39e6b8cecf050ced6acf092e63f30bc06","datavalue":{"value":{"amount":"+0.675385594367981","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":"Q4032028$68C494CF-B805-481B-A9EF-370F7D8D4BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f721f2b3e84e35fe584a0a56462151c57999bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4647543,"id":"Q4647543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf64cf356ae001e427bb7dfc0e56a987c187bd91","datavalue":{"value":{"amount":"+0.6736178994178772","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":"Q4032028$326ED8CC-FD63-4CA4-B5BF-E3621AF83435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ff29b28e33d9145207978c1b86fe5aa008cdbb","datavalue":{"value":{"entity-type":"item","numeric-id":582923,"id":"Q582923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3413abff752d079d9429ce62e98a1f48605a2b8e","datavalue":{"value":{"amount":"+0.6718337535858154","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":"Q4032028$A534D076-8D95-41F6-A7B2-8A12B0E4BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4aac513a6142a2148f2f956ac34c52ed0ec870f","datavalue":{"value":{"entity-type":"item","numeric-id":3725573,"id":"Q3725573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7711ceaaf2e8cd5603f1ba5455817af783fb114","datavalue":{"value":{"amount":"+0.668328046798706","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":"Q4032028$4F1985B6-2947-4ACE-BFDC-2CB70C0F1073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032028"}}}}}