{"entities":{"Q5239215":{"pageid":7268783,"ns":120,"title":"Item:Q5239215","lastrevid":55373443,"modified":"2026-02-17T14:43:43Z","type":"item","id":"Q5239215","labels":{"en":{"language":"en","value":"Numerical verification of affine systems with up to a billion dimensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120137"}},"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":"Q5239215$8555C4B0-7480-4C30-A5D4-4FDB010D2985","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09d5368b6cb64ae529ab88d7930efdbc54ecb3f6","datavalue":{"value":{"text":"Numerical verification of affine systems with up to a billion dimensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239215$F170346D-9521-4512-BD33-ABD79364F0D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"184f556a764760fedda280ddd2d0affe1b2bb7c1","datavalue":{"value":"10.1145/3302504.3311792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$DA44B724-6823-41C3-B181-1461E8FB8F99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239215$A236602C-2269-4ABF-92AA-56D85CA2104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239215$7F843B67-5DAA-441A-AF9F-4F8F5D8DDA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69541f5d9e9de0adc652cdfebff99a31ad41bfc","datavalue":{"value":{"entity-type":"item","numeric-id":832179,"id":"Q832179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239215$43956E26-144E-4A92-9426-F8ACA877F8C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239215$4F301091-8504-4822-9132-E4F75A86CA9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239215$1CCFFC9B-209E-4421-9F6F-6D34A3BA829B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30e9aff126e1ec302aa41c016c9aedf447540f23","datavalue":{"value":"https://arxiv.org/abs/1804.01583","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239215$7C0CF67E-FB33-4824-8995-6115957DF8A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$805096AD-EBC8-45AD-8516-383FF5B7AFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$AF135405-A3B4-4B4C-8C48-7370FDD48EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$B98018CA-5AF4-4005-8BF1-3621BC2E6175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571383c08dd73ab9a315bace6178fb89aa6a5324","datavalue":{"value":"7120137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$31CB9707-F080-45DD-8036-17EE1F274EC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239215$6EFDB082-AD8D-4188-A105-8EBDE1E5D572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239215$C2A2E66A-4998-4C9F-A746-511BBA0766E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239215$CCFC08D6-950D-49EC-92DE-64DC58192EAA","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":"Q5239215$39B1439E-005F-417A-9477-F62065A61E59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae2a2bdfc3e13caefe660e9fbdec61c6f6f364d6","datavalue":{"value":"W3098919244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$53B1D2ED-9E1D-4246-845C-865BEF15AD53","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45b607767e7a49a9ec9f5cc957339349c1aacf97","datavalue":{"value":"Q130954543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239215$621CDF83-7003-46E5-B82A-9B8578C67B15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f852796ca6c206663e2efd1eec94728f59042e","datavalue":{"value":{"entity-type":"item","numeric-id":5898985,"id":"Q5898985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1c888f63dba5a15d14033c883aa464416e5858","datavalue":{"value":{"amount":"+0.7572531700134277","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":"Q5239215$75841C74-8BD3-468F-A126-9A72AE3FD7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601a0a0f1c10e45a632b42a6fd018c1d52c8b760","datavalue":{"value":{"entity-type":"item","numeric-id":2105418,"id":"Q2105418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7487ca4d4262f97750b1cbd9d219cbce89ca6e5","datavalue":{"value":{"amount":"+0.7491211295127869","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":"Q5239215$294C9277-5913-487D-ADE7-681DDB68C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd68946f143bc1e96b2676f9a2ff18dd985716a5","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10be1a4797d0c953cabf2e07746e1bd8bc78f0b","datavalue":{"value":{"amount":"+0.7303374409675598","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":"Q5239215$CB2FFFDF-445C-4372-A903-CD3694C54FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b98f5c8e65918d448430d83f0b0ccf97d5acadc","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2289937555889e40146b9a07fbd9b5603a80d6","datavalue":{"value":{"amount":"+0.7255467772483826","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":"Q5239215$9927D4BC-5CBC-4C2F-9F6B-2B355FC0431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2494369e708042ab1ee8b54b57ec34a8fae0aba9","datavalue":{"value":{"entity-type":"item","numeric-id":1693830,"id":"Q1693830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d0a0b1ae9380a746b486b33d9c81e8fb3e15c4","datavalue":{"value":{"amount":"+0.7241750955581665","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":"Q5239215$2B6ED85D-2351-4733-B20B-E55B99F0E529","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239215"}}}}}