{"entities":{"Q3601823":{"pageid":5631729,"ns":120,"title":"Item:Q3601823","lastrevid":88503017,"modified":"2026-06-04T14:41:55Z","type":"item","id":"Q3601823","labels":{"en":{"language":"en","value":"An Improved Safety Solver in Go Using Partial Regions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506867"}},"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":"Q3601823$BDC8E538-D120-45FB-928F-0142C2AD4766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c459a1607480448ba9c7da6181b00ecb0104aa3","datavalue":{"value":{"text":"An Improved Safety Solver in Go Using Partial Regions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3601823$E86B1269-3C11-4EFC-9DE1-09D5B3D8A69E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f081cacaf1adf62808dfecb95c385629c1fd0988","datavalue":{"value":"1171.91307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$B346D15F-A16F-49D0-A60A-3002A47B231B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad0ce59d3189ec576af779e251c113f4ef1f0f49","datavalue":{"value":"10.1007/978-3-540-87608-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$C2940938-2839-49E0-99E7-180CA22DBBB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a5a4e68dec3b553d6b740e481801ae8e77b3650c","datavalue":{"value":{"entity-type":"item","numeric-id":2947900,"id":"Q2947900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601823$AAEA88F4-34A3-4C93-8E47-101D1BB5F835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601823$AE3EED3B-33A2-4B8C-AD65-4DE0CC2CC641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$091E3DDD-B88C-4354-995C-58545E3ACA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$92366429-5175-4F17-B069-1955CADFA444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1719d6d4a46dfaf08e2506975c465c5a82f3168b","datavalue":{"value":"91A90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$2DBE55CE-F69D-4411-A918-9E97159BB514","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b642a3ae20585d75246eaef2ab301427b6295f18","datavalue":{"value":"5506867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$1BC6EBF9-779E-4227-B97E-C0A074E08231","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39bc14bb4fb68029bbbd0bc50831f2b2efaaa054","datavalue":{"value":{"entity-type":"item","numeric-id":13345,"id":"Q13345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601823$36E593C5-003B-4DEA-BED8-0B4FD40EE8D1","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":"Q3601823$1E1E2CF3-8B56-4BDB-A244-67775EE49049","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3913b80b562c17ce8623ff1fcafa6c7bd08d93c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87608-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3601823$F629B3A6-CF11-48DF-9D2E-871DC803D30F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09febd6b7eadb41627f7ec25160b2e331dc896fc","datavalue":{"value":"W1484372654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601823$FA7A6547-7D69-460E-808A-6E450A2403F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d6e56c38980f125643a07e058384721ac53882","datavalue":{"value":{"entity-type":"item","numeric-id":3574137,"id":"Q3574137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601823$F90443D3-E8D1-4A76-AF95-455C3EC2D95D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d99be377c05e65005aed0b3a8485029f1260229","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a9235dc15934267cae24f45bd8b31b5439fda2","datavalue":{"value":{"amount":"+0.79047173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$72669EFA-5207-40C8-B6A9-DB0922D6DAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d833dc28f2f6489266d2e05abd0cd9d955a0ed97","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41cc723c6cdb6d5c78ac2faee2f4294dcb852bb","datavalue":{"value":{"amount":"+0.78387177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$28C6866C-FF62-4123-A742-5E922D0050EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3ac429cd5b7b2e267856ac44ec1770eb09bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7c7840e29b1d26820cf63b7d6b118deadf9422","datavalue":{"value":{"amount":"+0.78323185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$F6689C00-8A03-4AA1-9709-9CEC6C572867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a3f6104230163279f6b2a08f2a9eef2d0c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5919003,"id":"Q5919003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7c7840e29b1d26820cf63b7d6b118deadf9422","datavalue":{"value":{"amount":"+0.78323185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$F544BA11-2626-4A6B-A7EC-1BE10596FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5401ff275df95f9a39aaf8d812cbf75ba8b759","datavalue":{"value":{"entity-type":"item","numeric-id":5178882,"id":"Q5178882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46314f579e60d79ed4837377e26f122a909b4ea6","datavalue":{"value":{"amount":"+0.78092384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$4AF5B55B-2FFA-4666-B25A-D05AE0E74A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb7f40afbccdedb19d258819fcfd89adc887e87","datavalue":{"value":{"entity-type":"item","numeric-id":2693298,"id":"Q2693298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56da2491db814c97659b55b611f835b4fe455fda","datavalue":{"value":{"amount":"+0.7785068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$B8E20E20-2077-41A9-BB14-3154709EA463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24301644424cb5b7964930f0cac2e78fefb0e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":963463,"id":"Q963463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a50e91567561d0383077a2a6e1cad206bed4da","datavalue":{"value":{"amount":"+0.7773683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$DE8BAD78-9B60-4CF9-A43D-42A56DCFED6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76997d519f32b54cbe96eb309be9412deae0e99e","datavalue":{"value":{"entity-type":"item","numeric-id":2038085,"id":"Q2038085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4aa76abb7ba4b29f929df0169fd16a191600c54","datavalue":{"value":{"amount":"+0.7767805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3601823$6E920CA2-6DC2-47C4-9EB5-FBFDFCB16C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Improved Safety Solver in Go Using Partial Regions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Improved_Safety_Solver_in_Go_Using_Partial_Regions"}}}}}