{"entities":{"Q3591386":{"pageid":5621290,"ns":120,"title":"Item:Q3591386","lastrevid":50162543,"modified":"2026-01-13T07:54:56Z","type":"item","id":"Q3591386","labels":{"en":{"language":"en","value":"Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189650"}},"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":"Q3591386$76EEA053-242E-4A72-AAD2-AEFE4D2556CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15933a8e152d7bb2bdefa0a94b351fbcdaa5cd8f","datavalue":{"value":{"text":"Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591386$E34C9A62-4259-4A8B-BE07-E63D00101D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"174130a93ed216ef945fedf870e13f864b3a4212","datavalue":{"value":"1196.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591386$223F72A5-E596-40EA-9760-811610CEC1DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b99b871e5c486f69c0c65816ee1c09bbb24ad3b4","datavalue":{"value":"10.1007/11804192_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591386$2C523364-7A06-467A-89F3-8C3D77A9FC06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$4215482E-3AD1-436C-898C-373F2B8D2225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$47747DC4-5CCC-412E-A387-7B9D2B2EB565","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$21D2E419-3CD4-49E1-9064-F5CA3AAA74D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591386$31C649D9-85DE-41A3-9D52-0098DD575939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591386$B8F26F10-3F4A-4A74-A6F4-03786C514954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a70f7a4ad1743818260aa49803fc44f2667ecb73","datavalue":{"value":"5189650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591386$182CF09A-495C-40FE-9798-5A63E4BEFF1A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$278E0152-34DA-47F6-A554-E28F9293BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$4968BD97-25CC-401F-96D5-E2A4342B5F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$F92A3E15-BE7D-4F95-AB02-37D03A22454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fbd5a310af4c574fce0aaee743a27e4fae92339","datavalue":{"value":{"entity-type":"item","numeric-id":21936,"id":"Q21936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$6B77035A-E0BB-4082-96BE-C0E8BE90ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$9799C3CC-918F-42C4-AE86-C423BFA5D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$876865F7-167E-4202-B0AD-3B6DA7011AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$956E06FA-DDDB-4EFC-B890-A03AABAACE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591386$6C45242F-C175-4495-8D49-E416163138E3","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":"Q3591386$5089DE6C-FFA4-4C7D-8317-345ADF5CF279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"459df08b8a72ab415368ff60226cb095c7ca7498","datavalue":{"value":"https://doi.org/10.1007/11804192_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591386$2CF0320A-D65D-47EF-9381-2B8DA3EE1E3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67d9664aa4130b56188d9a48a16d388e5d5dbc10","datavalue":{"value":"W1485200865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591386$A17A58B3-22F4-420C-BBEC-9D772AE37718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce44be20b830c45b151c70a71bf6b75b9444dee","datavalue":{"value":{"entity-type":"item","numeric-id":4791137,"id":"Q4791137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36db7715d85d616f5b3285e3264820b91fd9261","datavalue":{"value":{"amount":"+0.7272989153862","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":"Q3591386$22DC67F2-E201-4AF6-96B5-139854E99BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6890d2ef63e888905a6f4ff58aedc7ac0aae391","datavalue":{"value":{"entity-type":"item","numeric-id":5930924,"id":"Q5930924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47f38ff039ce295e9c54c70f86c98507ba21db3","datavalue":{"value":{"amount":"+0.7214574813842773","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":"Q3591386$10E99F08-7257-454D-98EB-0E5FD8E9FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce6f91d9d906b8e43dd0d3eca5320363789deaa","datavalue":{"value":{"amount":"+0.7151661515235901","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":"Q3591386$5B303A4B-CA8E-4525-8159-8C61C2F42C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6a8e9183364bf45b3a825c1cb74a8b26d4888b","datavalue":{"value":{"entity-type":"item","numeric-id":5408450,"id":"Q5408450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eedb818b7adb19b351f1cffceae79f9fe018e4","datavalue":{"value":{"amount":"+0.7106559872627258","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":"Q3591386$3FE18FED-1A5A-4CAE-825F-E73D8CFC21C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b912041c0bb4b6bf2910ba2468279c5a6153e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4653ed8244c73c8f8dab165b5e46f64beb3d1c30","datavalue":{"value":{"amount":"+0.704412579536438","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":"Q3591386$B374D543-F2CF-47DF-A351-8E85127CD93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591386"}}}}}