{"entities":{"Q633151":{"pageid":634999,"ns":120,"title":"Item:Q633151","lastrevid":63125853,"modified":"2026-04-11T10:45:06Z","type":"item","id":"Q633151","labels":{"en":{"language":"en","value":"An algorithm for automatically selecting a suitable verification method for linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872583"}},"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":"Q633151$E2BEE963-98E3-4F8D-ABEF-9C857DDFBD2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62016c144adceea720eaa392fd19f7c678d24a79","datavalue":{"value":{"text":"An algorithm for automatically selecting a suitable verification method for linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633151$3EC5B82D-A94A-465C-BC3A-C6C92E3A9A03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bcb56396e425d80f24da1f0f83c08d0c68bb8bc","datavalue":{"value":"1209.65051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$5A7F7B77-E17F-4102-A321-186A7D0C3DDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea0237c8048213e46bfca60d5839af3516a9c5a","datavalue":{"value":{"entity-type":"item","numeric-id":291917,"id":"Q291917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$19A2C54C-3481-4CEF-A242-AC68198CBECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db3b51bf55d137bbd89ba354e436d19d0f9c611f","datavalue":{"value":{"entity-type":"item","numeric-id":291918,"id":"Q291918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$6F278CAD-ACE9-4A36-9262-ADB2F287D54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62a9934248a90ea307267d205c82e52e814933eb","datavalue":{"value":{"entity-type":"item","numeric-id":171503,"id":"Q171503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$F45DBC89-6F8B-4C0F-B7E4-DB0D0B558DC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95f4a47752e6dde2f4d6f910dcba94ba8b5377c0","datavalue":{"value":{"entity-type":"item","numeric-id":57895,"id":"Q57895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$8AFD67F9-E932-4C05-9FFF-4F53E8B1B83D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633151$53C9933C-AC20-4861-B2B1-3F4B2314D838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$C087600C-3FA7-4564-B67A-EB728D387C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$835B2E16-281B-4D9F-B54E-8EBA3A96E757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fa24955881d0706432da3129c3e9a780948915f","datavalue":{"value":"5872583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$B6965156-2423-4930-9B23-2A6CAD7F1310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q633151$DA438338-CD75-4C9D-8B32-0519AA5C0CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeba89ca924fcec3a5675b10e3dcf02d05673b1","datavalue":{"value":"verified computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q633151$BDF0CA44-C5F7-459E-A035-E733E354FF25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$B16EE864-A3A3-4CCA-86AF-2FD005AD3B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6e4534da985384dc49e6c85553dd7ce8b3bcf4e","datavalue":{"value":{"entity-type":"item","numeric-id":13259,"id":"Q13259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$324454C0-FEB1-4931-A057-06E196009791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bbedeb8fff9bf5dbcadd59c3f5332134c82fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":16987,"id":"Q16987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$1B61CE6A-BFBB-48ED-A5AE-0F7BA5AF7E64","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":"Q633151$A5DD63AC-1330-4FC5-A29D-EF5C4EABC8EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8ad4074b6499d01cb4aec09d362bcdba47e0a7a","datavalue":{"value":"https://doi.org/10.1007/s11075-010-9389-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q633151$6C5FA5F1-E371-4457-A20F-926AACB30957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41f163d34ce25d797665ccf542a7e5388c478ff1","datavalue":{"value":"W2051982336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$0E9723C3-FBD9-4D72-AC3B-7B121F268BA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9780e360c20a82366b97eb2acf9b054c360e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4779477,"id":"Q4779477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$D5871792-A100-4861-A066-C6D703835CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a12a05bc67e9cf1399236e651f6231ce07394","datavalue":{"value":{"entity-type":"item","numeric-id":2484077,"id":"Q2484077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$75946030-0FCF-4AF4-8343-7282B2162E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28db90d995edb345dfd10b08e2e7b1e69ea60fb","datavalue":{"value":{"entity-type":"item","numeric-id":849174,"id":"Q849174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$F8118514-4769-40A6-8A69-9D6C84F22FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82aac482e235920040795b0622b5e37ba14c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":1398048,"id":"Q1398048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$E9325513-7A47-4EEB-8DCB-4E82F85A8CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6818aeffdaf8415a5a7f081a2da5ee7312891d","datavalue":{"value":{"entity-type":"item","numeric-id":5693174,"id":"Q5693174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$C75E730D-4522-42B2-B383-C4522512097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea65770c877933267b13c07feb97113f38b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1348935,"id":"Q1348935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$5080F542-9FE6-4E2C-8DDD-90DA6FE72FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615580f15f9cc093c0f41fd9a8727ccd5095c8c8","datavalue":{"value":{"entity-type":"item","numeric-id":2372948,"id":"Q2372948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$169C8D7D-C8B7-4474-A8D1-767533667B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d66f94f11733b21511e5bf61240eb96e854475","datavalue":{"value":{"entity-type":"item","numeric-id":1307245,"id":"Q1307245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$14EF9280-DB6E-4F88-B2C2-9BF95F414CB5","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":"Q633151$B94C68FC-BB0D-4DE3-BC72-CBDC835C3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0508a59526e027ad610481be17961d8d1fc9f6","datavalue":{"value":{"entity-type":"item","numeric-id":861896,"id":"Q861896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$8C2D92B6-E46F-470A-BFA4-A80D4401473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35118fd20b6d77a575ca40e2d09685a96a5c1a3e","datavalue":{"value":{"entity-type":"item","numeric-id":849178,"id":"Q849178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$5AD58EF6-61AE-405F-AA7B-7D5060121DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f46b5d5bf2939a993e99a4f3bf743381735b17c","datavalue":{"value":{"entity-type":"item","numeric-id":4500253,"id":"Q4500253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$93840C25-0568-41E2-93FA-E88A0B4BD4E5","rank":"normal"},{"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":"Q633151$DAF37331-AA93-4CB4-A0DA-969E018468C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d52df2154bfdd0f3ced81e7603ae5503222445b","datavalue":{"value":{"entity-type":"item","numeric-id":5689624,"id":"Q5689624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633151$B2403471-6DEF-41B3-BB19-3F0587A3BBCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42e649d6bce6eeb4a2f3d854814c8059cfa98ec0","datavalue":{"value":"10.1007/S11075-010-9389-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633151$DE7EFE51-46E0-44D1-AC5E-71F0F8DE4AEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52372f20dedacf7a0ce1a2fd6fb044ea2207dce5","datavalue":{"value":{"entity-type":"item","numeric-id":5298678,"id":"Q5298678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbe2f09d0c4d4a11f6fe7655ecd2f9388c6365e","datavalue":{"value":{"amount":"+0.806688666343689","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":"Q633151$94234A5A-13C8-4550-A703-F7CE4D189017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36593190fcfe908a93396795fbc0eb1dd70f7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":849174,"id":"Q849174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9479ea2d882d0386388aa534bbd3b148a4e8115f","datavalue":{"value":{"amount":"+0.7871690392494202","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":"Q633151$10D1D6B3-952D-4FE2-A594-AD348BFD13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2662960b09256acb1b0831f00071ad94e0f3fa66","datavalue":{"value":{"entity-type":"item","numeric-id":1398048,"id":"Q1398048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe80c458da46f4de0ab4831a17040e72cd52dd6","datavalue":{"value":{"amount":"+0.7813693881034851","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":"Q633151$091E020C-9A7F-4633-B4B4-A4130636E1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be70c0f65fab36d75669c293cf47e2666a44e7","datavalue":{"value":{"entity-type":"item","numeric-id":4209106,"id":"Q4209106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149167f8748a2be24acf2bb97497b12d902d7e4c","datavalue":{"value":{"amount":"+0.7756954431533813","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":"Q633151$A10976A3-C5E4-4F12-8023-651A05E40B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc7dae059276d0c7366bc80b8cd984e8e178774","datavalue":{"value":{"entity-type":"item","numeric-id":2819636,"id":"Q2819636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01871a3717d9b30efae321f5f8e6571f6ec8f03a","datavalue":{"value":{"amount":"+0.7755134105682373","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":"Q633151$AD3347F9-5FAA-4DF8-96B6-748BB2498D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for automatically selecting a suitable verification method for linear systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_automatically_selecting_a_suitable_verification_method_for_linear_systems"}}}}}