{"entities":{"Q2947164":{"pageid":2957884,"ns":120,"title":"Item:Q2947164","lastrevid":85391645,"modified":"2026-06-03T07:44:06Z","type":"item","id":"Q2947164","labels":{"en":{"language":"en","value":"Horn clause solvers for program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484064"}},"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":"Q2947164$BDB114D0-E334-4D9E-9017-33C6B61E5EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2b51a6be71a3851b38ce04a2ceabbb8f269e01b","datavalue":{"value":{"text":"Horn Clause Solvers for Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947164$0DD68ED9-4C1F-4788-B63F-734826F7687C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32e3a0642aa9ab7ed78ca6091ba5943e42dd9443","datavalue":{"value":"1465.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$260D3087-ACB4-4108-85A2-98688DD4A628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28384a6b5ffe59a70d2ade5bf63e802312649360","datavalue":{"value":"10.1007/978-3-319-23534-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$92F0005A-2B82-4D5D-8439-0150992C326E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$078870C5-5608-4B72-AEAE-D43273F5CB89","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":"Q2947164$182CB393-9B86-42B0-8660-5DAA18B735B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$34A4D56A-DF67-4B86-A9F0-893F4B0D7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$57E2120D-15EB-4BED-83C0-29E26E889318","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3366f92168444b14da4920bd33764fe42d1105ab","datavalue":{"value":{"entity-type":"item","numeric-id":2947162,"id":"Q2947162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$335C6434-9A39-4314-BC76-2EC3E8D733FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28857d5b8ce74b0fd649738f47e9ad422078bca3","datavalue":{"value":{"time":"+2015-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947164$6E054359-06EF-438A-ABBA-65DC94C74777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$88092B5E-D22B-4F4C-AA3F-F557A28AA1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$732F5A49-5866-443F-8CA1-D48D9C187692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$F95B43BE-DC6F-40A3-9C7C-94B4FDE8DFB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c23fcf51a8858dfe2935c5417d4d27b840a6a19","datavalue":{"value":"6484064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$92BC2941-2E42-4C84-B6AF-5CC71A3B3678","rank":"normal"}],"P1463":[{"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":"Q2947164$9BA5D0B2-D7AC-40D7-B56E-C6918C231887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$26748B40-A6CD-46D7-A81D-D66A592DF274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$C685D049-9557-4D62-8C82-9D664FEAF3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$5EE35DD9-036D-4072-9246-EA2964727609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$9BE54C77-9504-4BF4-A756-26F52225D003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$34FA4D86-9B5A-4BB8-B508-5698737C3975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71b79027a4b3c3d7cd60462ef3801c42871145ae","datavalue":{"value":{"entity-type":"item","numeric-id":45000,"id":"Q45000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$DE540007-78CA-4595-8B93-10899CF92976","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":"Q2947164$092A031C-8C0E-4568-8BCC-B5F999FE6F0E","rank":"normal"},{"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":"Q2947164$BD779594-A2CA-44E0-B911-8581B1237B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9571a980e5821fda7407e6c3a929e1cfdaec4d40","datavalue":{"value":{"entity-type":"item","numeric-id":21846,"id":"Q21846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$3C1D479E-7BAE-4D80-89DD-A2BE9FB0FFD7","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":"Q2947164$E5944847-5BBF-4C0F-989B-981208D1B497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82bf53d6f7ddd003a942660fa01b5d48759e8f5a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23534-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947164$3EA85D67-59BD-47CE-8F5C-1FD709C18086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25424eb6daef618a88b3d9cc206b1f6643658677","datavalue":{"value":"W2293809538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947164$39855A40-73D3-475F-8863-D04DE471A649","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f176d988fabbd626744eee2651f4ef8cf9c0825f","datavalue":{"value":{"entity-type":"item","numeric-id":3457775,"id":"Q3457775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$C40F2C09-B141-4D74-8DDB-B0DEE054AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$31F13698-AB7D-40D0-8360-F1767117390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8632c1e73aad479c2865bcf9365dc310c561f99d","datavalue":{"value":{"entity-type":"item","numeric-id":2870121,"id":"Q2870121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$C7A5F976-5E68-40AA-98CB-EE355CC0F68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$20433ABB-D0AF-4467-9474-70DC4182DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c2c388a22640ac9d5b19d2053fe4b933139852","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$5748E63B-A722-45F4-AA2E-D1CE05BC996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e6ac22e6ae8e5c865a0d6a18fdb8b499da1672","datavalue":{"value":{"entity-type":"item","numeric-id":3791123,"id":"Q3791123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$F78DCC49-014C-4121-A283-A4669C8B85EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ebc03c6929a56f00c86a755f9bd990ca90e42d","datavalue":{"value":{"entity-type":"item","numeric-id":5738909,"id":"Q5738909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$4109DD83-1219-4583-A8FD-44F9F027AE59","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":"Q2947164$B2A45E0C-5450-4AFB-8CA0-67268A141152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$536F45AA-43BA-4A43-B709-5CE515B38FD1","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":"Q2947164$539235AD-8C47-4F2C-8D21-F7AC8903B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$65403A0E-8AA0-40E5-B01A-77D46831676F","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":"Q2947164$D2609CE5-D6D9-409D-8EE5-042524D07BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$48E4F316-E75A-4A5D-A859-957B82C2A4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$5E1884F8-04D5-4B45-93FC-5D8BDADCD227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cca62407c408077fad831e627d2b27257d3950","datavalue":{"value":{"entity-type":"item","numeric-id":1949086,"id":"Q1949086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$DECEDE24-EFDE-4692-ABE3-F366F06DBFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$87347088-F3B0-4B5C-B050-B09D9425DA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accca46e00850b3764f42687075785fa2c1053c0","datavalue":{"value":{"entity-type":"item","numeric-id":4997236,"id":"Q4997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$EA7DC285-FB56-449A-A125-0D8BEBC2A071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a01715d1aea539b9ce3ea5a38e1b1f2bfbbb7b7","datavalue":{"value":{"entity-type":"item","numeric-id":583874,"id":"Q583874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$94F69FC6-2C2B-4B9F-B10B-0AAC2913269A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe472cbda5cd0dfe5370dda5380ef4f4ffe28a1","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$60EBD21F-CE22-43C3-9BF8-D17F163934F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$A55DAF07-FC08-4C13-A32B-E9D4FB954A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$44900980-66E7-45DC-BAFB-14C4E08FBF33","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":"Q2947164$F8687F0A-21A5-4293-BD1A-1FFBF2F6C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$7F72834C-FA2F-4F5F-A191-372AB9AF029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$AB07B0BC-3A44-4042-B011-6E28999AF56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$9F71C33F-4113-473A-AFDD-CA05496EA9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$5251E3F5-BDCB-430C-B7F0-C4A07E9B35C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$3BCF7EC4-69A0-474D-BE88-ABBFE4B0DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$1E36CA46-F9D8-4D80-AC63-08BFE86D691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$537F98B6-3D94-4AE4-A402-A53307713575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$2983D20B-E1E8-45B3-B7FC-E06A9A7F6FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$192C674F-2A68-4308-891B-76B42A0A5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808e39bccff475c7b654b044a520d206c22bcccd","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$827818D2-17BD-4590-BE02-BC5A3F580A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$A0B330C5-570C-483E-BCCA-A854F4417748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$7A879064-6E18-4FF5-AFB5-F147B6C9246E","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":"Q2947164$3EAB944D-9A51-4634-B87D-74DFA869E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5409abedbfbfe0ac74339d53e3b1f28883312661","datavalue":{"value":{"entity-type":"item","numeric-id":5255068,"id":"Q5255068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$AC8ED8B6-368A-438C-8907-14CFE123488F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$60E7557A-A8B2-4E4C-B171-81397253F9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947164$E9903E6A-A1B2-414D-BB7B-9DAC47C3267A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d531ebfcb6c94fc098771aa782e50b1cbb06b","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78649afae5f5c2d4fa5ee368020472fae08b29d0","datavalue":{"value":{"amount":"+0.7945814728736877","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":"Q2947164$2E13FED5-9F1C-4B09-AF49-D554982AA238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ababec7ad08320487551d5fd7dcd8e4e6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6769f2dd4aa2f69eab11132b1d9195321ba3310","datavalue":{"value":{"amount":"+0.7801154851913452","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":"Q2947164$4B0B675B-2713-4963-9311-0707489949D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43e6e0d0ae7a229d36a7947d6edc16ba52ad99d","datavalue":{"value":{"entity-type":"item","numeric-id":5015369,"id":"Q5015369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4ec4c1cbc6f6d0a2ba5318b59eeadb32f06d96","datavalue":{"value":{"amount":"+0.7745563387870789","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":"Q2947164$C357066B-B23B-4CBA-925C-A37B7C289B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d6e222c795d1577490e7cc030f27ad64eb4977","datavalue":{"value":{"amount":"+0.7707093954086304","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":"Q2947164$2E6AD362-4975-46B9-A459-4E00FC730560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfd0ae9890ed7a82ff9ae01397fba181541ab82","datavalue":{"value":{"amount":"+0.7706320881843567","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":"Q2947164$7C7C8909-ED30-430A-A364-33E40A5A7A25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Horn clause solvers for program verification","badges":[]}}}}}