{"entities":{"Q518396":{"pageid":520163,"ns":120,"title":"Item:Q518396","lastrevid":62444394,"modified":"2026-04-11T06:08:04Z","type":"item","id":"Q518396","labels":{"en":{"language":"en","value":"SMT-based model checking for recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697746"}},"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":"Q518396$C6DD60D8-62A5-4CDA-B265-13ECC3C17970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d66cd1b3f3d1ee4e15f6763007df0acd8bdc8d1","datavalue":{"value":{"text":"SMT-based model checking for recursive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518396$3FEDD590-B300-4560-BEB9-361694F289B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc35925ab8389f87666625843376618314a0ac97","datavalue":{"value":"1358.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$291CB53A-BC6E-4613-A038-3EE8FB6D50A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dabc75691dce76fb02ddfbd2d850c128abff53d6","datavalue":{"value":{"entity-type":"item","numeric-id":518395,"id":"Q518395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$EF1F93CC-DA57-4903-8608-856E0E96DFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$4E12356D-65FD-4E91-8124-8053C09EC551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$1217161B-83DE-4C65-A646-C688B5D705DA","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":"Q518396$2FE8CFE1-FD60-4816-8E78-0E0A96B1E880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b1176cdd607c21645d7c2ae40c91c6f83a8c91f","datavalue":{"value":{"time":"+2017-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518396$9ECD9B88-22E0-4C1F-AEC1-D37FA9A387FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"319072e7d349c252c20560e3ebc8ea78704142c8","datavalue":{"value":"https://arxiv.org/abs/1405.4028","type":"string"},"datatype":"url"},"type":"statement","id":"Q518396$84AB7FB4-8877-45C1-AFA8-5A9DCCFA519F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$08074E01-7D2B-43D5-B0BE-18D69C813AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$A30056E3-81B2-4FC3-A51A-6BDDAE9A3505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a607ff4299745ed58ce477f134c08d2eb2ef0ce","datavalue":{"value":"6697746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$1BD477DC-6EB7-4A51-899E-6B50AE418BBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$2477A608-5AD6-4E39-8152-3930954B5FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c6b2007413974c3bb5885f4289487df923b864","datavalue":{"value":"may-must","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$998A63C1-A04D-4AE4-B2FD-08B9226D400B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$46C78E26-4975-4F45-BCBB-4E4059A5132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$A0A58514-7DAB-4E5F-B9BA-AAEF65E867D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$4BCDEEF7-1E1C-43EB-867E-34B16188A2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b081e66f42f534cdfc8a5b276141a08294d7419","datavalue":{"value":"compositional","type":"string"},"datatype":"string"},"type":"statement","id":"Q518396$EAEFB81D-9F09-49FA-ACD8-24FDE5B6D0D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e95a4714f9a38285de4763859cd8c5827a63c278","datavalue":{"value":{"entity-type":"item","numeric-id":19439,"id":"Q19439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$6DD57A62-4E42-4F1D-9F5D-F253D0EB1AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$0F3877C3-F570-4FD4-ABDD-C2C7BEF041FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$6FFD83AC-A920-41C5-84B8-93C860A53265","rank":"normal"},{"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":"Q518396$38FC9BF1-9B1F-454D-92F1-197429FE5138","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":"Q518396$F981F3E3-B93D-4F7B-A00F-6F9CFF0D18FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$34224458-8467-4CC9-A2BF-EA019DBF3815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$D10B62EB-D584-4951-84FB-21C582AADAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$25061DCD-8C68-450B-8FDD-EB0850ABF7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$5E674484-F93F-4BEC-9E8B-76FF86A7F169","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":"Q518396$B9A48591-4BA8-4794-8427-111359115706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee31d907e4c588026a74c4f280c2d17bd1600a79","datavalue":{"value":"W2571456046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$C5F59F53-C172-4D63-8DF6-59FED3234219","rank":"normal"}],"P223":[{"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":"Q518396$29B2405E-AC33-4127-9724-698E3ED8D6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$E1A9C970-94F8-40D3-B726-6E888EC9DF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84bacb2156f6dee41dbae90f188191d14ff028","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$FC5F17DF-0791-4A47-AD42-BB934999C98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$5AA18C3C-8B7F-4AFE-8DB0-88A29828C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$74750063-4085-4591-BB88-9264B40483A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb4a178343719bb600a8999ac8bf7ae5a989830","datavalue":{"value":{"entity-type":"item","numeric-id":1254848,"id":"Q1254848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$DDCF592C-9C5B-4ADB-80EF-640BC637F449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$411B4521-F99A-4BB5-A3EB-FE97223D6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$3593637E-E1F8-4500-9283-40C06CC53A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$C9D282CC-EC96-4621-9D48-65C84B1678F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7554eba9ee36bec68eba2e82a0628d8617cc50ca","datavalue":{"value":{"entity-type":"item","numeric-id":2891400,"id":"Q2891400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$4CD70826-B4E4-4E35-99D4-FDA8C9C8A26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$94685BEC-1642-4B1C-8949-EA8C5FC687CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$3D5B1A9A-3FE8-463B-A7C3-A690D64744FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$093B650A-5D3B-41C0-A312-F4C2DBEA52AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$8C14D4EC-8639-4CF3-B8AE-A885C8F69291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$FF33CD09-606B-4971-AEBD-AEF0BAE0C3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$7D364F29-3D95-48CF-872E-C7851D89A053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$E2BF24A1-4921-4604-AB8F-CB237598FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836a1d7b6bdb48a4904f72118ea93610f12fe959","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$D8E55D0F-456B-4B3A-B39A-A3D6FB7C8DD1","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":"Q518396$868A3303-7EEE-41F6-AB9B-8B0C3BBC4546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec836a3fc271e588c302d19e3fc45042d720ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":5255061,"id":"Q5255061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$FED31255-859A-41FB-B473-971243D8BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518396$C1AF30E8-E255-47DF-9FD0-27BC840114FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa225e4a7807ec2926f0d72bafc7682ca594cef2","datavalue":{"value":"10.1007/S10703-016-0249-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518396$ED00C953-9DA5-4281-905C-02396D30B7F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21087abe7ab8ea4a03d52101d4bc7b1f94c425b0","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3699abbf6cded6440aa53773e703256c50bef2d5","datavalue":{"value":{"amount":"+0.7744536399841309","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":"Q518396$A41946DE-58D3-45C0-96A8-F77643CF281E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2703a318d73fe5b7db689ed2d559956018f7d5be","datavalue":{"value":{"amount":"+0.7720963954925537","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":"Q518396$5941EE31-C6ED-4729-8B6B-C529DDA72698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6f1b6e5cd0336e7aa2e8607e5cba00c3b036e5","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0526958a7cfe576a923d4d720886b88daee214","datavalue":{"value":{"amount":"+0.7591935396194458","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":"Q518396$F47A4421-6F0B-47A7-B471-F24485706919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5374a685b3ad64a9cc08b51af3ff70626b89f79","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78676f2e8fd7280f97df88a7616c8f833528716","datavalue":{"value":{"amount":"+0.7557640671730042","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":"Q518396$08603E20-BC81-4E58-9D45-CC18A0FD1B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7441d0ac138a42ca07544f96589c657fae15c5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5178977,"id":"Q5178977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690c9ab1c034e3752e62bfab3d7c0b1d015cdfbd","datavalue":{"value":{"amount":"+0.7549614310264587","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":"Q518396$EA09BB14-4BAA-46B7-A64E-68748398A3F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMT-based model checking for recursive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SMT-based_model_checking_for_recursive_programs"}}}}}