{"entities":{"Q2959836":{"pageid":2970561,"ns":120,"title":"Item:Q2959836","lastrevid":58068804,"modified":"2026-04-03T16:35:53Z","type":"item","id":"Q2959836","labels":{"en":{"language":"en","value":"Computer-aided verification for mechanism design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6683448"}},"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":"Q2959836$1B1F30C8-2D91-458D-84B5-D4FF2267EE55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3b310d460a1db41cfff29e7830296cf7b357780","datavalue":{"value":{"text":"Computer-Aided Verification for Mechanism Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2959836$181B0F43-9DAA-48D1-A915-19B7FE61EEFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4daf0523bd494ac1d8da87b7733325b329689ed","datavalue":{"value":"1404.91037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$9FF6AC41-75D4-4977-BD3A-731DCA5AC774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79ebca24de24ec6f77d27f92c1ee282be48bd704","datavalue":{"value":"10.1007/978-3-662-54110-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$6FE5F80E-B2EC-4E01-9065-D3B18B7FF074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$61D4A11B-5F98-44DC-B690-4EBB7BB92DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$99B11D36-EA9A-4070-A244-4C7FA1447FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec5283f749b98a43004a48e6e47fa9be1226df9","datavalue":{"value":{"entity-type":"item","numeric-id":511020,"id":"Q511020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$B7A29AAB-D4BF-4292-BA40-1339903D98DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$396B74CD-4F6C-4A2F-B033-C61DCC3289AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2df171ffb47ab132d6e55d30b0dc4d620814b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2343398,"id":"Q2343398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$685EFC6E-BDBD-4C8E-8DFC-7E89024A4404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$D316C4AE-5C2E-452B-B52B-06E49635A62B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"49b5fbe0db2780c5e4d1a606b4e20f552548b207","datavalue":{"value":{"entity-type":"item","numeric-id":2936970,"id":"Q2936970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$019D88E1-CA56-4CDD-AB36-1C67E67FB194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ff77e7ec0010dc728a970344576af099b4bd62b","datavalue":{"value":{"time":"+2017-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2959836$802BA6D1-5978-45AA-91CA-931DBB4FF5A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5d28cbe685caed141b919ec9b8a7657e60af425","datavalue":{"value":"https://arxiv.org/abs/1502.04052","type":"string"},"datatype":"url"},"type":"statement","id":"Q2959836$BDF4D0B2-7AEC-4B1A-B645-25207071D4BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$76FDFD97-746F-4291-9695-4EB80016EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3a60d31ba98ba15733a78db77bf150ba7f919715","datavalue":{"value":"91B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$76446BD5-9646-4FFA-BC6F-1F75350F7A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7934ef4478ec2eac0cb1f78f19b40005dde6f0c","datavalue":{"value":"91-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$7792E431-8F23-4E75-BE95-58AFF30AA763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e902e35081c9133c6c27ffc02e3869d4b1526915","datavalue":{"value":"6683448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$E8C0D483-8EB0-4E79-9CA6-63CC7CDAF90E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22719d900354c189744a42d05640a22d54ea8c17","datavalue":{"value":"mechanism design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959836$D831E155-807A-4B05-9ED8-B9192522906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959836$E23F6F36-D45A-409E-A315-1D4E6133D51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9220ee56ab72b5d8595272db9520fff367f03f2","datavalue":{"value":"matching mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959836$5EC90F1B-64A3-46E3-BEFC-D5379C043C0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$C4312B5A-15CC-43C7-A767-70685B00E575","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":"Q2959836$75D92495-5CB9-49CF-AE58-E670C92E4E02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7674a7fc218c75c390b02daa68f33610bc0536d0","datavalue":{"value":"W1919126359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959836$18117100-48D0-4C62-AE9D-A07569D78D21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$D82388B6-2551-4FF1-BBE8-96DA3E669FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16eb2457f1ae3593ef05e516dcd31f598ca1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5253588,"id":"Q5253588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$1178EC50-F5C1-49D4-8737-01564968D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02917c0db14ab53e8f4a4132ce95a65a648deb","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$CE34D4AB-F732-45B1-86FE-52ED9E6A278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$CE22E5B5-1409-48D1-B768-1E7619E549BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516a1875dfd1dcb2fb31e6b515a70803c5f9941e","datavalue":{"value":{"entity-type":"item","numeric-id":2989043,"id":"Q2989043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$4C01FD74-E4EF-4CF8-B5A8-755A65FC3D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b40431372c58572fee85e7b8b38d3728fdfcfb","datavalue":{"value":{"entity-type":"item","numeric-id":3581415,"id":"Q3581415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$A60CE0C5-E325-446C-AA83-481D0680A64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d464bc327ad5754f00804854b55b3ed552dbbc79","datavalue":{"value":{"entity-type":"item","numeric-id":5189544,"id":"Q5189544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$EA271D2C-C311-4858-A4AC-72F4645D4EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a864d0fdbe128552387138ad253b8130232f446","datavalue":{"value":{"entity-type":"item","numeric-id":2506308,"id":"Q2506308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$C618332F-39DA-4D3B-83AC-DC1157F59529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7c5d2860ccfcc3ea9f9d696db75bb4de37d436","datavalue":{"value":{"entity-type":"item","numeric-id":4070951,"id":"Q4070951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$06928E7E-2C6C-4273-867B-2FCEF261B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8a8ea4c413bbd8afde232751a1432f8f1dd824","datavalue":{"value":{"entity-type":"item","numeric-id":3549631,"id":"Q3549631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$71F92E76-DE37-4096-B029-5A0BD7E65237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529715320d5d5e3312e32f7a6f0d6142c3dd586d","datavalue":{"value":{"entity-type":"item","numeric-id":2516250,"id":"Q2516250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$B233001E-816C-4A55-ABD1-9E099E8019A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030c6c8d0bf0a49b18b479eaa3b0b9389f653ce0","datavalue":{"value":{"entity-type":"item","numeric-id":504394,"id":"Q504394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$5444144D-E601-4996-B387-DED2640B7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ce1ae479994f4aa28c307de4d67c963b5563bc","datavalue":{"value":{"entity-type":"item","numeric-id":5501360,"id":"Q5501360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$F619272C-6758-40C9-9833-16431C95DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a053b7b21d7c03ef4180d93324f529877f7e2283","datavalue":{"value":{"entity-type":"item","numeric-id":5897191,"id":"Q5897191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959836$ABBBDAAA-6744-4329-862A-F4C3FC2DC9D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b597bd87082fa4f01ee8b4bd3363f98e8f47dca6","datavalue":{"value":{"entity-type":"item","numeric-id":1004286,"id":"Q1004286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe60d46056dd9cf522e806b7a4072569922163d","datavalue":{"value":{"amount":"+0.7829799652099609","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":"Q2959836$FED7EB48-CA71-4C58-9A76-1541E0CC5A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973298c0ea20b076e96f68a54deb47ee12cc23d3","datavalue":{"value":{"entity-type":"item","numeric-id":2989043,"id":"Q2989043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aafba023bfa67919c14b952a5d4fbff9f496cc0","datavalue":{"value":{"amount":"+0.7612758278846741","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":"Q2959836$BFD04351-83BF-4A51-8CA6-FD5317453EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6fe91fc46a6b6071988704e653fad08bcd2650","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a808219b290a4e578d8d64e2c1337068fd2ce83","datavalue":{"value":{"amount":"+0.7581073641777039","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":"Q2959836$EB7D390D-6A35-480F-92CD-29FEDA5B1D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143e6f8a584a35fc6c1d90aab34d56187e170921","datavalue":{"value":{"entity-type":"item","numeric-id":5900469,"id":"Q5900469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7f94c0a2118258807c7e7b82175eccdc57e060","datavalue":{"value":{"amount":"+0.7501487731933594","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":"Q2959836$45C64893-21F2-4FB2-A1C9-D6617D188133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e3da64809ca2ceb798b0bb93f137e26c683a09","datavalue":{"value":{"entity-type":"item","numeric-id":3601792,"id":"Q3601792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe3c8c760edf271e393672f133d32d7ab79cf3d","datavalue":{"value":{"amount":"+0.7455282807350159","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":"Q2959836$E8664FF5-932F-4B33-AF3A-684AFE5F5AE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2959836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2959836"}}}}}