{"entities":{"Q5111203":{"pageid":7140777,"ns":120,"title":"Item:Q5111203","lastrevid":94289828,"modified":"2026-06-05T06:26:10Z","type":"item","id":"Q5111203","labels":{"en":{"language":"en","value":"Inductive and functional types in ludics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204326"}},"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":"Q5111203$1879A72A-9F0A-425C-AEEA-AB1AE7E56015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"489433e852120523bbed6ffde0facfff66973a07","datavalue":{"value":"1434.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111203$9BFA7DAA-B802-411F-9FAC-099AD2157501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"526dbf31c5b9b57f40cf622c993f961f8a3527e1","datavalue":{"value":{"entity-type":"item","numeric-id":5111202,"id":"Q5111202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111203$1206CFD3-92D9-4DAC-B85B-52A0794DCCB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111203$FD5FD94A-B1D0-4C81-AA95-CB1B6904D87A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2d88b8f8b453e100e374cdac2f20f8e5017f7fd","datavalue":{"value":"https://arxiv.org/abs/1707.08925","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111203$B911620A-5206-4726-BA16-6805786B34A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111203$AB744E29-3405-4337-9C49-9CAF801A04EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111203$A25A9616-0784-446B-8290-BF96851C752A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd0e9d798242a2748943a57e99a27f03dd629562","datavalue":{"value":"7204326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111203$CB3B6146-5DAA-49BD-AE5F-6D963C58A22B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d519914b299fde5598469bebf94b4b2cdbfb97b","datavalue":{"value":"ludics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111203$F570D1C7-0B8B-4E9F-B131-90D3EF761A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111203$FFA2FD9E-A8CB-4A7A-BE13-0107D94598C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111203$8B727212-CEFD-4DA4-A715-8F9B91AF93C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111203$14127887-0159-4063-B63D-217633461AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111203$EB18BF55-7581-4BB9-9D72-7394157231A3","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":"Q5111203$23030A61-DFB6-4737-A374-9504DA913066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbbcf071e77cb26faf2ea445912281cb5b2f398d","datavalue":{"value":"10.4230/LIPICS.CSL.2017.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111203$86D877F3-812B-4505-8350-C95F8BE84284","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff1e1af858c8f7d75ad2ee1f038db37b65274c","datavalue":{"value":{"entity-type":"item","numeric-id":3003332,"id":"Q3003332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df24e55cd8054f4ee848ba2ee92c2ef1e7abfab","datavalue":{"value":{"amount":"+0.7898403406143188","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":"Q5111203$FFCD5EB9-DF06-4031-BB74-A781E470893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594c4c1ae8224b882139e2cd2eb3c36809053bfa","datavalue":{"value":{"entity-type":"item","numeric-id":5351980,"id":"Q5351980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68000426e25a68dc718cb9d2b4013a321792e9bc","datavalue":{"value":{"amount":"+0.7576753497123718","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":"Q5111203$FD32439E-AC11-436F-9EEE-02FD8DA15A21","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":"59e833486a50110ab46f8e5473d7e488ccb8ea79","datavalue":{"value":{"amount":"+0.7519636154174805","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":"Q5111203$8C4F4F2F-213B-4F82-88AF-79A610FE014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b4cb0fe23b63689a39b6b695193885abee271a","datavalue":{"value":{"entity-type":"item","numeric-id":534713,"id":"Q534713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67e323052cd5435f1dbd4d4e465838c55ae2ba8","datavalue":{"value":{"amount":"+0.7477267384529114","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":"Q5111203$DEA9144B-E82B-4025-9AC9-A997D4D8C6D0","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":"6dec2a0443de6c072d73a4ef4230fb9cba9dbe41","datavalue":{"value":{"amount":"+0.7430561184883118","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":"Q5111203$A60E9902-BC28-4D02-8EDE-898AC5442FBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive and functional types in ludics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_and_functional_types_in_ludics"}}}}}