{"entities":{"Q5504660":{"pageid":7534220,"ns":120,"title":"Item:Q5504660","lastrevid":50547392,"modified":"2026-01-14T08:55:24Z","type":"item","id":"Q5504660","labels":{"en":{"language":"en","value":"Towards Ludics Programming: Interactive Proof Search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496697"}},"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":"Q5504660$34FCDEEA-3F19-49A0-858E-AF47B82D1673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69add588ecebca89f2c183502b1b21d714792d66","datavalue":{"value":{"text":"Towards Ludics Programming: Interactive Proof Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504660$1AB27122-32F5-4D5B-90AD-B01DBC42975C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7215ab54ef49ee5495a259c768f545c34b3673be","datavalue":{"value":"1185.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$4C60B9B1-28F3-47ED-A53C-FA877460C82E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75eb314607ac5db93ef61f825583629f5b53ca53","datavalue":{"value":"10.1007/978-3-540-89982-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$FFB81045-95B5-4794-A31C-4CF4635F9DC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$B8E6F559-B0CF-4522-98A1-97A5D8A0FB3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$ED7FB362-F38D-4CE9-86E5-61A17334EEA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-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":"Q5504660$EC3C2FA0-1A2B-4D97-981C-5DF3BC63FB29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$02338B53-890B-4E2C-8B7F-952A6AE62914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$8BA26815-01AD-4395-A99F-0B1AF88143E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$CFBDCA55-EE83-4A64-81B7-21ABBF6CBE07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a1181884ed7b161942291a4102c5a427f33a601","datavalue":{"value":"5496697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$E5560CA2-2325-4575-BBC6-6ECA1F3DBCA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d519914b299fde5598469bebf94b4b2cdbfb97b","datavalue":{"value":"ludics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$BD8AE2A3-7A36-4908-ADF3-78BDED2E0CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$AFB7A176-50BD-4030-9297-03BC2F6D2749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$81E83AE8-DD57-43CE-A937-8EEDE1A85DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$3A0FA326-06FB-4466-9D20-73A6393AC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$3981B8E2-F905-42BB-AE9B-1113D94B7606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504660$FD936DF2-3EBC-45FD-A285-3DBC0A780642","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":"Q5504660$222BA21A-C975-4D18-8B70-4786EDB6E27F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebfbbb033a0016ac8b22fd36096bdcfafd98bf17","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504660$17BD2D93-2360-424A-BAC1-73A7BD848999","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f30805e7149ab0a1870bf72070aeb8b193211499","datavalue":{"value":"W1497327067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504660$ECFA98B5-8C83-427F-9450-1245007E75F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$D68BDFF4-3CE2-4CA2-AE90-237531243C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$8A55E86E-0BBD-4593-A408-83FF907F0E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$425DBAE4-5364-476A-9F72-63C798F82214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$6E9FD231-B643-41EB-ACCA-3D72935D8E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$F7BF1B1D-89AD-425D-A1E2-8EC07835D8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58af3a251680dba6c3e10e66242bd9406e69b4df","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$EE0699AE-DC59-4F4B-82A6-D12C454C6985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$3653E6C2-65B2-4D4F-B53D-A56DCB122686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15e20329e7aa5ad90521542316f2539c05c7ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4411840,"id":"Q4411840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$0F428F54-C087-483C-B7AC-1ED05427F625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$7146F78E-69DE-4AF8-9D5E-45521CBB4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$A83EC8E1-81AB-439D-AFAC-0B6B6AC2631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$1A86A9DB-BBD6-4393-8930-D2790771B46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dd5459d0d15baef4d77d33de8211cce0b5483f","datavalue":{"value":{"entity-type":"item","numeric-id":2767019,"id":"Q2767019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$4548901F-5D11-44C7-9028-47A651D12DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d020d9cacb718bc76ea953077420460e0299d","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$49B64B06-FB23-4C13-BE64-6884A215D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4d3318c286766f6c9764c900b85ec244128ad","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$99296497-8D86-4680-BF53-73D42CE8C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fecc1cae86af7527d2bf5f4519470c4a693e30f","datavalue":{"value":{"entity-type":"item","numeric-id":2474440,"id":"Q2474440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$E4718DEA-E33A-4B4D-83CB-C99D512B518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab5a9618dbb49c09c2c6601bfa647429363021b","datavalue":{"value":{"entity-type":"item","numeric-id":4411839,"id":"Q4411839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$82BDDAED-8307-433A-AD87-F4AFB4569244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742598078a7165b67b03f85f45c6224fd5b4864f","datavalue":{"value":{"entity-type":"item","numeric-id":4819363,"id":"Q4819363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504660$E04C7B22-C3C9-4D54-B6B3-150045AD21B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc092f4a759e7e2e13b75744d292364ffa218cb","datavalue":{"value":{"entity-type":"item","numeric-id":4981244,"id":"Q4981244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22aac22c1dcc9f30e02028b6ece3ba6bc184ce2","datavalue":{"value":{"amount":"+0.7691115736961365","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":"Q5504660$DD28354D-170A-49E4-AB12-48D2590EC3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50970868185a91846118a801ffc3c084964beabb","datavalue":{"value":{"entity-type":"item","numeric-id":4650294,"id":"Q4650294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b653bb2e731051f9141421966751293c3e9fa99b","datavalue":{"value":{"amount":"+0.7680939435958862","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":"Q5504660$ECA74D22-B488-4227-9DC0-0872F0D69C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd9df3c855537c45cc39035bd4961ea9ac01df4","datavalue":{"value":{"entity-type":"item","numeric-id":5466489,"id":"Q5466489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaad9a463809ab904aab25d7a72ec22397afbe15","datavalue":{"value":{"amount":"+0.7659990191459656","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":"Q5504660$091525B1-2EFB-4111-9841-BC603F29D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25603841d240042d3bf0450336c696e476dc8b3f","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f85bc7fad615336b8e94ce73c879b35afb793a3","datavalue":{"value":{"amount":"+0.7657886147499084","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":"Q5504660$55843812-4D16-4F9B-9AEC-FAD1F3D13EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0301708dde4c4abd48d753e6d0882c0cc7da8761","datavalue":{"value":{"entity-type":"item","numeric-id":4823136,"id":"Q4823136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdb3b5b1ee5eb9f5d292487faefac6e6cb4ab36","datavalue":{"value":{"amount":"+0.7657760381698608","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":"Q5504660$8FFAAA17-4C1B-46AE-A944-D72B883933E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504660"}}}}}