{"entities":{"Q2018466":{"pageid":2029208,"ns":120,"title":"Item:Q2018466","lastrevid":52232369,"modified":"2026-01-21T05:20:59Z","type":"item","id":"Q2018466","labels":{"en":{"language":"en","value":"Rigorous verification of feasibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419075"}},"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":"Q2018466$7A75BA25-D95B-45F4-B12B-C58AE90ECE89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86fa01deb4420610ab4a2147d144d5dffcbbff16","datavalue":{"value":{"text":"Rigorous verification of feasibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018466$9AC25EE5-5B94-427D-B0B1-5053E410E7BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c37b993918b55a1f978a2e7c746425282e967f","datavalue":{"value":"1318.90065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$F9749E19-8C5E-4B30-BB8D-B26850B42E60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a07ae8e95436828135d1ea52ec9b3681ccb81e45","datavalue":{"value":{"entity-type":"item","numeric-id":245495,"id":"Q245495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$5B086A56-3699-49E2-9AD5-60D58215853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c775e4eff7457a4d0ffbe2956f593fc40f2edbd","datavalue":{"value":{"entity-type":"item","numeric-id":171501,"id":"Q171501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$B21D48DD-A4E8-450F-BDD8-3E5EE20238D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1d032b4dee05705e8b2f4f60118816c12892","datavalue":{"value":{"entity-type":"item","numeric-id":116038,"id":"Q116038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$44AD7538-E033-450F-B409-48BD63860290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d0d4c4c3e9076631188c819941971a1d8655c6","datavalue":{"value":{"time":"+2015-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018466$2B51A862-ACC4-41E9-9204-DFCD1DEF6D53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$98D88E60-258D-42A7-942E-43DEB1DB5CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed10a41ec587cb61dc683f25ef4b3e827c7fee2f","datavalue":{"value":"90C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$8F68280C-1525-45AF-862A-863FF5A80EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c42586636805ba43af9daf2636cdd06885a4d6b4","datavalue":{"value":"6419075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$0D9BE0F6-D292-461C-94A0-86E243482FAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88834c5a26d336169b6f134f733bfaf1c722f1aa","datavalue":{"value":"rigorous feasibility verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018466$F11FC151-BFB9-4318-80E1-FBC264B8B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018466$30AAAB66-BA14-4DF1-9EE6-EB23DED92522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2df4be61b42c15be02a284667cc79d17284cd8","datavalue":{"value":"global optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018466$FCDC3438-B6A4-4F66-ADCA-27646F91565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58b5d45de33f58a9234b421df2c94a38153dd59","datavalue":{"value":"verified computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018466$BCAFFFED-C24E-4053-8501-606FF590A3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018466$4D8141EE-8CC9-4346-B2B8-580B83AAACBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e478a7a7aa8fb6b1f5b46b9e025bd922e668729","datavalue":{"value":{"entity-type":"item","numeric-id":15315,"id":"Q15315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$682FF4F1-2A6B-4984-8E2A-AFD3DA3A0631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbd65dd6dc2572a50934cf024dbc54d2f1bf6479","datavalue":{"value":{"entity-type":"item","numeric-id":12838,"id":"Q12838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$0C85E67B-E55F-49AF-8C6F-CD9E0C180DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e27b4b8a76f53ac5c45e9836a502b31f3d2da63","datavalue":{"value":{"entity-type":"item","numeric-id":16198,"id":"Q16198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$BD88A3EC-3085-497A-8A40-FA995E2588C7","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":"Q2018466$50A4B1EC-06D8-4A03-8077-C50CF116A7F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"833a6e9ea6d6f2d309bc4a29b1af70e4d4ecf134","datavalue":{"value":"https://doi.org/10.1007/s10898-014-0158-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018466$3EEA51C3-7862-44C9-BFD7-BE58641F917A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89b9160f8d9170280bb12df4d11e5fda7578fb24","datavalue":{"value":"W2076242555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$6ACA43B7-3F3C-4199-863B-928071ADD5D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$FA925C93-0A17-4A61-BFDB-213B3148B6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c100274e79d0e7e1fa7f46e83d61d6224dca5afb","datavalue":{"value":{"entity-type":"item","numeric-id":3396394,"id":"Q3396394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$2BF3D274-775D-4361-81EA-B22C0F353364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fe1f002b7494f453c30e68cc4f89e49e4eb758","datavalue":{"value":{"entity-type":"item","numeric-id":2357211,"id":"Q2357211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$EDEF1E6C-3A85-480D-8262-EE1BA6A53ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1f9d7aba8216f2a2309f5b0ece1c0caeca0dac","datavalue":{"value":{"entity-type":"item","numeric-id":956593,"id":"Q956593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$EC87B8ED-7747-4DFC-A107-F68ACE8A822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e75f1e66e264586674893f1e21975bd25f716e","datavalue":{"value":{"entity-type":"item","numeric-id":606897,"id":"Q606897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$08978CC9-7F98-4FDB-B660-7329FEB2A6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62b6c7e190966abcd2cb1ca8bb9bba66d4f39ea","datavalue":{"value":{"entity-type":"item","numeric-id":453629,"id":"Q453629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$BB39359E-3D1A-4C07-AA33-14603F445488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95867c2430f112f7f9f29399558e7e2b894f12b","datavalue":{"value":{"entity-type":"item","numeric-id":5962722,"id":"Q5962722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$D67CD256-2473-4022-8A8D-18266D84FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987d5fe9e1eb7279bb9d67d0f9ef48946c41eade","datavalue":{"value":{"entity-type":"item","numeric-id":4004279,"id":"Q4004279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$54D6A718-BF60-4AE4-ADEA-9DD8793F465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124c3a50d02ba56d5b1c0a60b8e8afe2f2a0610","datavalue":{"value":{"entity-type":"item","numeric-id":1290652,"id":"Q1290652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$001A0E90-78D8-407A-91D2-B2C6A555B51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d72ef8c7abe32abc98e5beca2bf2ce2796e3a34","datavalue":{"value":{"entity-type":"item","numeric-id":4509687,"id":"Q4509687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$6D51BF66-4722-41F0-A0DB-D9724DCA82FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c423e2078e2f4c21b0ff95b8cb61d6c9216f275","datavalue":{"value":{"entity-type":"item","numeric-id":3583363,"id":"Q3583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$D12DB71B-D451-4009-BE71-4AAF19CCA42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a24c86f6f7c28a2b9a612ba0145480cee8d2b670","datavalue":{"value":{"entity-type":"item","numeric-id":3690079,"id":"Q3690079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$98D21F72-42AB-4413-AE96-D1D8E4C0FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$0D1B230B-A935-41C0-B429-49A9D32DD0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c6ec072a89146545e93445fd192f502b143ebb","datavalue":{"value":{"entity-type":"item","numeric-id":919061,"id":"Q919061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$B4EC1788-4B2E-474C-B850-D691AB843AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e8ee381069f563cdd221fe2896b0c7e646005","datavalue":{"value":{"entity-type":"item","numeric-id":5491447,"id":"Q5491447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$6248F157-F240-4E91-B3A5-0991E4BEF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15094bdf15b5f5d67a7ab89f5af06def19612e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3878653,"id":"Q3878653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$B0966EC0-367C-4CDB-8B0C-9702C09A4FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c506c43e6991689b79801c07ee07957ae1a68c","datavalue":{"value":{"entity-type":"item","numeric-id":4284596,"id":"Q4284596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$772185C4-B3E8-471F-8FA6-861BCE947D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a845c4cad7fe579e42e8d15a1fede67d235df323","datavalue":{"value":{"entity-type":"item","numeric-id":4321536,"id":"Q4321536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$4413E95A-FB2C-4713-84C6-C96C49812632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6625f314cb167d2a39778f1495b49e26758496c7","datavalue":{"value":{"entity-type":"item","numeric-id":861871,"id":"Q861871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$07F8D706-32EB-476D-8D97-FF6ED85CC999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c9647d6f29af2d00f14e138ac1232ff66d6ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5897050,"id":"Q5897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018466$B054119C-9334-4D9F-8602-E1B77CF7C284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6f7937bf9a509dcc28a811fefcc23910595ace7","datavalue":{"value":"10.1007/S10898-014-0158-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018466$083DE517-BD4C-4359-B5E0-EA4033B87793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1514fcbb04c1df1f420c6304aaa07f346970555","datavalue":{"value":{"entity-type":"item","numeric-id":1290652,"id":"Q1290652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56919547776fd931675c23b71796c0008a37f50e","datavalue":{"value":{"amount":"+0.7862062454223633","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":"Q2018466$073AF41B-12D6-4ED8-9276-F7B3C50EBFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfb46b1c60bcb104edba7d01e22549d17480659","datavalue":{"value":{"entity-type":"item","numeric-id":4874513,"id":"Q4874513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea0456c8f33ff083f9b840aa2bcf46da86dd2d7","datavalue":{"value":{"amount":"+0.7398806214332581","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":"Q2018466$8F0DDAE7-CAAB-4C36-8892-D5B63B8E18D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab72480100c1b7038706e09eda7987990412c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1675645,"id":"Q1675645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47919fd73b9bed7f5adb1af617bf6d5a9aecf7c8","datavalue":{"value":{"amount":"+0.7321382164955139","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":"Q2018466$E57A9732-C5CA-448A-BD32-8C1D513C9EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c66e5631d1143c4d96b1d1c70fe5a53e6655b98","datavalue":{"value":{"entity-type":"item","numeric-id":1398432,"id":"Q1398432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6992ed9b776fc2afc7813d6caee326a246891c36","datavalue":{"value":{"amount":"+0.7254480123519897","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":"Q2018466$5F5FBDED-4F0F-428B-93CA-F0326A9255F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eee27d76ffa60e92327fab87b1794ce69ab0685","datavalue":{"value":{"entity-type":"item","numeric-id":1919423,"id":"Q1919423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6992ed9b776fc2afc7813d6caee326a246891c36","datavalue":{"value":{"amount":"+0.7254480123519897","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":"Q2018466$281B9289-C620-451C-8F72-68FCBC60C699","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018466"}}}}}