{"entities":{"Q3523142":{"pageid":5553046,"ns":120,"title":"Item:Q3523142","lastrevid":58197294,"modified":"2026-04-04T04:58:26Z","type":"item","id":"Q3523142","labels":{"en":{"language":"en","value":"Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318912"}},"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":"Q3523142$CE28D05B-D1CD-4C9E-B8B0-6D7A4E1B1BC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d07a73330736a7a9b013964e1b61e60b9d549eb","datavalue":{"value":{"text":"Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523142$49520CAE-C3DF-409B-A7C6-492293903E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a75b919dcf4084ad3cd17bbce66d0dde5b02d59","datavalue":{"value":"1144.93309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$38A27C90-1165-4C5F-B1F8-05A5128902D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d52ec3345fc7534bfd6beae2c48c260990779f59","datavalue":{"value":"10.1007/978-3-540-78929-1_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$2FF64EC9-76FB-4D01-B71B-FEB4703F2E66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b56833e1a37c839e01c302eaa31e702dc3a5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3523141,"id":"Q3523141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523142$92B8F5D0-622E-409F-845F-57A517CBD739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f5ee9d87abe8ef5a2f37caa0f5783a72505495","datavalue":{"value":{"entity-type":"item","numeric-id":397360,"id":"Q397360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523142$DC5E4A8B-5D23-4FC4-91E4-748A898CBEA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523142$2FE6BD33-B20E-4BE7-A0BF-FCF91B043DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523142$9C5035CC-E7D6-43B3-A42A-46905EE0034F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de89e4ee5ab4064395e4dd555e100ab712a06b70","datavalue":{"value":"https://arxiv.org/abs/0801.0570","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523142$94330CE7-F3E0-4652-B107-8A2ECEA941EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$9CBC6E61-CC0A-473A-81CA-8332F49399A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$23F16111-42EE-4409-86E3-9418A4817DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$DA0C715D-AD80-4061-9FB7-7DAD20C8A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$7E9C71EA-2F10-4D69-A45A-4A3D5A0112C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6acced8c06b4247bf728befeb175963287120fd9","datavalue":{"value":"5318912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$DABF1832-22E6-4B55-BB37-4FC8C081AE50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523142$310C3AA4-893B-4CC5-84F7-E1E3DB1CBE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523142$FDF46D6A-78D7-4F4C-AAA8-25772B1C2EA5","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":"Q3523142$E738C05D-D2DE-400A-9047-707D1BF88489","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d443bc10bfbc7a20db52c1452a5cfc5d77ef1bf","datavalue":{"value":"W1613235480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523142$97B23443-7CCF-42A7-AA10-6ABF8B65E650","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81538c88a3382a67fa901d312ed92e9aafde00c","datavalue":{"value":{"entity-type":"item","numeric-id":3564326,"id":"Q3564326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907036496966102af662fa0d7b8827f56ca1a7c0","datavalue":{"value":{"amount":"+0.8066815733909607","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":"Q3523142$D92DE480-03CB-4F7E-91FD-CBAFFAC8B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91a48d11db7f4ee0942145d6c97715ec481d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36aaba80de191f859d74445f9ea594e00cde888b","datavalue":{"value":{"amount":"+0.7585291862487793","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":"Q3523142$52EA5E56-4B62-4C8F-8200-E86BF8221ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c0b86a7da069851947344217bbc6abd5449d1a","datavalue":{"value":{"entity-type":"item","numeric-id":271719,"id":"Q271719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936a189bb9da4247c306b8071a4b363fc4809c7a","datavalue":{"value":{"amount":"+0.7242953777313232","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":"Q3523142$42E8DE6F-6E7C-47CC-805A-D6F3140793EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116826f03b552568c8b4f4ed8341d7882647a826","datavalue":{"value":{"amount":"+0.720566987991333","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":"Q3523142$0161F980-93E5-488A-8C51-598357DB5DE6","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":"024918ccfa201e4e3f533d8d82c05c5a4bc5ed76","datavalue":{"value":{"amount":"+0.7147547602653503","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":"Q3523142$9DB3A4E2-0B26-4CF4-9372-861F4150F677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523142"}}}}}