{"entities":{"Q816196":{"pageid":818044,"ns":120,"title":"Item:Q816196","lastrevid":64551396,"modified":"2026-04-11T20:39:30Z","type":"item","id":"Q816196","labels":{"en":{"language":"en","value":"Translating Java for multiple model checkers: The Bandera back-end"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007751"}},"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":"Q816196$CA0B1BDC-4544-48E8-BC46-6E2BDAD7DC95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc0c6587114342da27194e03d50b634d9ad89778","datavalue":{"value":{"text":"Translating Java for multiple model checkers: The Bandera back-end","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816196$EBE52B13-D14E-4A30-9C46-CA2DA81C9A03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c51aa9f4ca33fe9132cd8b497cda5f4e3f4d37","datavalue":{"value":"1086.68557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816196$6CAA27F4-4CB7-4D80-8968-FC28D17D0911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$06BB3964-D05A-49DE-AEA6-0B82B0B23672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd944228db4d60cbe510a5ef912d4a914118554","datavalue":{"value":{"entity-type":"item","numeric-id":816195,"id":"Q816195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$796F10A3-765C-4B8D-B18E-F11EEB42FB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$37C945BE-72E9-4D3B-899C-EBA826B1BF2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$F456E3C1-5845-45C3-BD3A-6F500F5F7364","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816196$51839BDC-F3C8-42C6-A348-DB7AE6AA0F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816196$90B54EC3-75EC-40F2-9AA2-D2BAE85DAF83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec168499402ec4f9778647791e32b8b5437a18fa","datavalue":{"value":"5007751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816196$CFA2A5DB-74FE-4F05-95BA-A2798732FB2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1aafff143ee566daf908ea77f01d6ce799a10e","datavalue":{"value":"Bandera intermediate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q816196$596B7B3B-84BE-481B-91D5-D0C764C2391F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$0A684E69-8121-40D9-9D13-2EDBFC662B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a58344ca6620cc2911a46ed8252c861b469b4da","datavalue":{"value":{"entity-type":"item","numeric-id":14536,"id":"Q14536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$2F2049A8-58FB-452C-8113-4C471BBA2AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$6AE94BA6-3E70-4076-8E32-C6BE3DCCA7AC","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":"Q816196$411150E0-E224-47DE-8484-202D6276A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$5AA2BE1A-E0A8-41CE-A26E-9D5C64E3ADE3","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":"Q816196$A16A3EFE-6541-4D93-A537-6AEB864E320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$F7AF11AA-EFA1-49B3-B224-BB7193FF98F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$8DAB3891-C8E7-4E5E-828D-21063AEDCDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$078CE0D7-23C9-44A8-AC27-0981FB8E02E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$61825FB6-9CE7-484C-BEEA-CF56711A9D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$05A8B6EF-C064-4832-BC66-9CE270A04F23","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":"Q816196$F66D9962-DBF4-4D67-9EED-88FDBB71265F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dae1a12b19ce64b76f5a5fee7d5fd57e6ca75c47","datavalue":{"value":"https://doi.org/10.1007/s10703-005-1491-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q816196$9227BC08-DDCF-48A0-B354-C124CCD4CD62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"466319fcba8c01be20809d910177f1ce8175c65a","datavalue":{"value":"W2093826986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816196$CFC441AA-DE65-4A8C-8FE8-2C4FF7FB38C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8c5294d60bde7e3fb3bdfb961aec1e8c0bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":2754091,"id":"Q2754091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$ED71E8C9-BD22-49BE-B977-98AC86302BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df755177511a4a382e9fd897da9fe34d7e867ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5679697,"id":"Q5679697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$54E77CF0-B5ED-4F8A-901D-BCC7993DEFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$5A951983-636D-4BB9-B9F4-C87755CE57EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$C1E3E855-DAC8-4168-B510-735F819930C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$CCDCD4F7-E92D-4DF3-9027-4C34E3C4E0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$E8867D33-03A9-4CD2-AD5C-AA3BB4DCAD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8509b217b4bb778d594e037855d6eca1d9aca1","datavalue":{"value":{"entity-type":"item","numeric-id":2753762,"id":"Q2753762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$55AD513D-3130-47F1-9062-12E7C8E99423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bfdfff42741d1b102bd9e3ec10b418699e30ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5308403,"id":"Q5308403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$BF4B8900-9F47-4DCA-BBB7-4BF6FF1A93FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$E5D89F90-639B-4477-BE78-EBC2F90DB832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$728C81C5-1083-4364-9657-7562489E6C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca3cab7986077c52042cf6cb56a1460af719a6","datavalue":{"value":{"entity-type":"item","numeric-id":3707345,"id":"Q3707345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$9D8B84BB-88A7-409C-9D40-7EC049E557C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$E2BB735C-243D-44DC-B03B-35565ACEA660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$6E019275-6B31-4D76-A5DD-683331C61BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bbf018b28a52421913de5984c012e8f2d0d956","datavalue":{"value":{"entity-type":"item","numeric-id":4414730,"id":"Q4414730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$6EC5EB8B-63A8-468A-8E3A-3CDDEEF2040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$2EF73D0C-9187-438B-878D-986A931BA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$68E94E6E-3C8E-4754-B884-7B78E132378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$1610CC78-3208-4FE2-86EC-4B99255F205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839b93b77d0037d900c91596a987ec5e6ed6256d","datavalue":{"value":{"entity-type":"item","numeric-id":2753748,"id":"Q2753748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$4D4F5524-D19F-4082-A93B-5F4ECBD7EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$0C1E4F54-A137-469D-ACA6-6837C9C68E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$F3AC352A-ED8A-4443-9912-58453A63651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10956c94e35abab387d230c36a72d1842092c27","datavalue":{"value":{"entity-type":"item","numeric-id":4806206,"id":"Q4806206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$63740D50-F462-4C2C-9A39-921A297E4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$79656967-62DF-4278-9B59-631A29B8F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$BAA527A0-0A49-48D7-8011-54D8C18733A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01196d5b9ae6063f2a7e141f22a6ff478dcd88cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769593,"id":"Q2769593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$422D118D-A049-4DF5-BF9E-A9338A6E602B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1341c46dddfaa46d5d0eae09298d3585eca714","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$23BAE02B-5714-4D12-9BBA-3205DACDF108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816196$2E8D80FD-A266-4FF2-8C39-EF66FC98AAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61fc14e7bb2922c22a53c497c272e852cb2a431e","datavalue":{"value":"10.1007/S10703-005-1491-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816196$1439589D-36FA-4FDB-80F4-C993B3489680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548a1d5894af2a851c91ae826553b4167c5c9170","datavalue":{"value":{"entity-type":"item","numeric-id":4790340,"id":"Q4790340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baca6847df3ac1fc944157a5f7a9fcdc6107460c","datavalue":{"value":{"amount":"+0.8026921153068542","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":"Q816196$BE42B590-B0E0-4340-B409-F8FD60DE1566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3806d2c70859df0aa6094e006ad2859475bb4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c67da5c2b44c86b2540242a9af9f8b46408ca36","datavalue":{"value":{"amount":"+0.7927055954933167","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":"Q816196$62052EE4-65EA-4D2D-BE67-1AB9293BA357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa519c1e689b33215b857eae38880e1197d16659","datavalue":{"value":{"entity-type":"item","numeric-id":5703818,"id":"Q5703818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c67da5c2b44c86b2540242a9af9f8b46408ca36","datavalue":{"value":{"amount":"+0.7927055954933167","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":"Q816196$E8413F9C-9D75-4DA7-8B76-E83DA6F87C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb8289726a891a05a8a6b74cbc0c75525602b71","datavalue":{"value":{"entity-type":"item","numeric-id":4414730,"id":"Q4414730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aac5134f24280628dac9af0f444010c35f32068","datavalue":{"value":{"amount":"+0.7813802361488342","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":"Q816196$369E88E6-01C6-4505-A429-E67C2F32DFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddab87631d4a081dbd128c7a792d799b2a6c7e03","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a92f3a607e332910d6bd88c75b4372e41ef176","datavalue":{"value":{"amount":"+0.7593782544136047","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":"Q816196$EAE1C17C-18A0-459A-B2B9-C47E73D06255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translating Java for multiple model checkers: The Bandera back-end","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translating_Java_for_multiple_model_checkers:_The_Bandera_back-end"}}}}}