{"entities":{"Q3457776":{"pageid":5237176,"ns":120,"title":"Item:Q3457776","lastrevid":52417385,"modified":"2026-01-22T14:43:24Z","type":"item","id":"Q3457776","labels":{"en":{"language":"en","value":"A bounded model checker for SPARK programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521663"}},"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":"Q3457776$B15E6209-7C78-49AC-80B7-2A72CF1F334C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69d5088c41c5b135a7484788255b2f72b636e6ca","datavalue":{"value":{"text":"A Bounded Model Checker for SPARK Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457776$5461A8C8-CC35-4DD8-845A-D381739576D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24ddb139e517ba8a897d8d5ed26ffab4a87e6678","datavalue":{"value":"1448.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$7BC27914-E25B-402C-9B76-BFA7D24FAD14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c286a75df5fce962a2e4acac8427e808810096ed","datavalue":{"value":"10.1007/978-3-319-11936-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$70D8393A-027C-45AA-B3D1-3F1DFF01A40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cb49475f6c2157a130c389f512af4b0079ed174","datavalue":{"value":{"entity-type":"item","numeric-id":2802467,"id":"Q2802467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457776$282EC8F7-A711-43F9-BB9A-23ED469E8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457776$F78254DA-AA46-4B68-89AE-1E14986C420D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4d4f10eafc7166d616956f86ea8b4213ac9879","datavalue":{"value":{"entity-type":"item","numeric-id":1960261,"id":"Q1960261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457776$4D603259-1FFE-4FD1-8FB5-620C02D18AEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457776$7D328ED6-606D-4094-9CE6-B58E03884F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457776$6AC5FA29-B1C3-4B91-B223-1E3E498DA1AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01c0e3767e90cc9fabc53e309771b917b819708f","datavalue":{"value":"http://hdl.handle.net/1822/35223","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457776$CD63A014-3586-410F-9442-BAFB317CF740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$A97D5589-8255-44D8-98BF-D5AD5DAA2DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$BDD55BF7-3F97-49F9-964D-5C9E3B54DAAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c68ec61a4f6a8ce45ded3b6eec5bb00ac9b0c8","datavalue":{"value":"6521663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$9BE038B5-3D48-4723-A5C0-38E928546A64","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":"Q3457776$1BB942E5-9F2E-4AFE-8969-6C0892231CD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d90a3ffcc305b25cf5a98b2053a2f8737a221fd","datavalue":{"value":"W1515588526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457776$C243EDD2-6DC2-4A6A-B09A-10400D134922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d4f6d76ded1ba189c2bc4b20ca07276a34795b","datavalue":{"value":{"entity-type":"item","numeric-id":2947225,"id":"Q2947225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd60980cd523539530bd6259114ddd37d3ff537","datavalue":{"value":{"amount":"+0.7560713887214661","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":"Q3457776$5E68CD87-70C0-488C-AE74-276D2EDAF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991883a5ee39bfe3bd3b94407527421025f96b58","datavalue":{"value":{"entity-type":"item","numeric-id":5308383,"id":"Q5308383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bd42eb60b70322add23b652f79a65e3a994eb9","datavalue":{"value":{"amount":"+0.7499416470527649","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":"Q3457776$7B634B7E-C303-48F7-BC24-F272234C4633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8832de86658278a061062c9443b863c063bd0dba","datavalue":{"value":{"amount":"+0.7302032113075256","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":"Q3457776$B75CADF4-4FE4-4B4B-A684-DF471D387133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3b44a2d70ad432e6f25662fb4312fea5f4e4e7","datavalue":{"value":{"entity-type":"item","numeric-id":2771710,"id":"Q2771710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08a5c932d754df1ea5bdef15bf7fd85f83c1fd9","datavalue":{"value":{"amount":"+0.7229881882667542","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":"Q3457776$61BE3460-DB79-4887-82B1-415BD20ACB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9686bde0a5e2501f77a3f9b0827f750eda610927","datavalue":{"value":{"amount":"+0.7185722589492798","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":"Q3457776$CB34D08D-1EED-4458-B5B6-4745EDDDE090","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457776"}}}}}