{"entities":{"Q1922347":{"pageid":1933089,"ns":120,"title":"Item:Q1922347","lastrevid":78101834,"modified":"2026-05-06T10:47:16Z","type":"item","id":"Q1922347","labels":{"en":{"language":"en","value":"Verification problem for linear programs with Boolean arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 921661"}},"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":"Q1922347$00F6FA53-452F-41E7-AD6A-569E38A60DB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"903692b6fe39271566ff9cb65aaf40fab36d95b4","datavalue":{"value":{"text":"Verification problem for linear programs with Boolean arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922347$F4F7FDBF-2A77-421B-9CA7-6B088C39A7B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e5dc2fb4c1c3a0ba2d5db742440ad1c826facfa","datavalue":{"value":"0854.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922347$C30037E6-9F93-4186-9082-7C6B0EB41639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74586ed2e3f12046914e932bde84f75ae250293b","datavalue":{"value":"10.1007/BF02366319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922347$70EFED32-349E-4FAD-8791-2280847F6900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b2c15170826cedcddd25524ff751099158a71f","datavalue":{"value":{"entity-type":"item","numeric-id":1922346,"id":"Q1922346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922347$2D251E42-38C8-41E5-808F-E276AA20BD7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922347$02034336-B230-48BF-8DD4-F272F24BEA0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922347$DE85DD72-FC0E-462B-A7E4-82DF911625DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922347$40119A48-6C98-4F58-A957-5887D6C0023E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3dd0f4668ea552254bc4dac1841220fd0da8be4","datavalue":{"value":"921661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922347$17237E1A-D746-4968-9F99-06EEB26590BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2dab486fb0e11a1cd9d709d4ff748cb2f5249f","datavalue":{"value":"verification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922347$E68B8287-826C-4ABC-8DA3-4A3AAC76A740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c615496575ab19710b7eb71261d49c40fb5dd5","datavalue":{"value":"Boolean arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922347$69674C09-145C-46FD-9737-3EFF27F3245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2449e49b03990de77df76c1e683db0c75aebc19e","datavalue":{"value":"final template","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922347$61FB9C1B-DFC2-42DC-87D9-7C8516E67F13","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":"Q1922347$B89A06B5-A9EA-4330-8F34-A758A80C2C5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6d6ad7f1dde0ca3527dc4bc4a1d345b7d3ee654","datavalue":{"value":"https://doi.org/10.1007/bf02366319","type":"string"},"datatype":"url"},"type":"statement","id":"Q1922347$281AC32B-D5A2-468D-A0A5-A471967A0B6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e69cc0acbff95c867b9d3e5d2dc1b8d4e9f27ee3","datavalue":{"value":"W2032447297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922347$6979FC4E-1B25-41DE-8DED-B5802B95B844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cd1960358f0a563ca55e8bf7b4d635fe9ce6de","datavalue":{"value":{"amount":"+0.7764970064163208","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":"Q1922347$DA82D47B-2120-42E8-909E-A81711777137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819aed6fb55858a3ba166b981e35c6d2e4ad1174","datavalue":{"value":{"entity-type":"item","numeric-id":2946676,"id":"Q2946676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc2bd63cef29d998495c0589e3a06c3779ee506","datavalue":{"value":{"amount":"+0.7708990573883057","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":"Q1922347$C097BD80-4596-4055-83A8-BA802C4B32A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c200a02084ae66deda3c0fceb34493446bafb03","datavalue":{"value":{"entity-type":"item","numeric-id":3644742,"id":"Q3644742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5993b2dca93b4f883d00d0388c4fda729a4946b3","datavalue":{"value":{"amount":"+0.7667683959007263","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":"Q1922347$C96E8A91-3CC0-4659-9C7A-8EF186E51332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4612ae1312bfb069b894aae8f0d423cd0f049c","datavalue":{"value":{"amount":"+0.7606322765350342","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":"Q1922347$24AAE40F-B542-4B80-AFDE-15B80E437FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80143bd512085f0c9afbc3d759ac764ac4d2207b","datavalue":{"value":{"entity-type":"item","numeric-id":5758120,"id":"Q5758120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23d3c2e6bd20a8460951e30e397b3e77e74a1b1","datavalue":{"value":{"amount":"+0.7499837875366211","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":"Q1922347$80212855-FCD5-43E4-922C-A199350C94A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification problem for linear programs with Boolean arrays","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_problem_for_linear_programs_with_Boolean_arrays"}}}}}