{"entities":{"Q754864":{"pageid":756713,"ns":120,"title":"Item:Q754864","lastrevid":42678902,"modified":"2025-07-08T10:04:08Z","type":"item","id":"Q754864","labels":{"en":{"language":"en","value":"A game-based formal system for \u0141\\(_\\infty\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648681"}},"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":"Q754864$DBEC233A-F7FE-4644-AFF9-460AC2DE84B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efcbe78c3c127cffb553b53cb868458c8b5cbb0","datavalue":{"value":{"text":"A game-based formal system for \u0141\\(_\\infty\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754864$BDE7CE4B-B091-46A7-BF5F-51C130390226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7de73a45c0de949f50dd9ad9f6eab9ec4a1652a9","datavalue":{"value":"0417.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754864$199222D8-4007-4807-BC7A-495B3BF8862C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e013d59179af2cb343f048bd68c712a6a1b611e7","datavalue":{"value":"10.1007/BF00493672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754864$72753A88-C5F7-4E3F-BAB0-3B176131792F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccc2f029c5150c7bf1f9088e3a63e164eebde81","datavalue":{"value":{"entity-type":"item","numeric-id":754862,"id":"Q754862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$2CE2A868-5651-4E58-8352-F294A7E66217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4c8ae99289cc00f4b89e1ff8ce04de083002d69","datavalue":{"value":{"entity-type":"item","numeric-id":754863,"id":"Q754863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$134D4AC5-A3CF-41B5-9892-816E35EE5013","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$A532F95C-83C1-47C3-AF5A-28D4A3F7B82B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q754864$2B145522-C8CA-41E7-82B7-453AEE69C733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754864$18125BA8-EA06-49B8-B581-4E562D18EE01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23c587ef26c56db369816781ad8bf62682bfc70b","datavalue":{"value":"3648681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754864$FEA836C9-8EAE-44A7-AD20-7301A3F17143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$73A78685-9BEC-44C6-91A9-942BE76ABCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cba436178da08dcee575861efa5c96a4b4f1e02","datavalue":{"value":"Lukasiewicz propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$C3A27F3C-CC3D-4AC0-9F23-E31760312C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84559d63a134f4a48e3711f9b283b723fcd9eaf","datavalue":{"value":"Lukasiewicz predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$DA382372-AD63-4DD0-9546-9BE66B7C2F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$A6C3609D-AE57-4D5C-A818-0309A924EDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$51368032-9B31-41DE-935C-AA184D8F3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa5d7bc25dc7433cdd7f4e00da0b88611938b29","datavalue":{"value":"game-theoretic motivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$A04AA230-2051-4590-AEFB-40F53E59EB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3179d52a9467c5cace855db4da272b5e3b7fed2","datavalue":{"value":"decision procedure for validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$2FD71B01-586C-47B3-9542-D0876FBA910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d403ed823918ef995f37fc9eeecf139ba76c9369","datavalue":{"value":"Herbrand-type theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$24D2C053-D92F-44E0-B5AA-723888482D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q754864$DC7D9EDC-2C7C-406A-A377-0DC3FE932CB9","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":"Q754864$E96C2738-756A-4C80-BF7E-7A4D39BE43D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f650f4f7bc706bdedd6674688059df4f6da8202","datavalue":{"value":{"entity-type":"item","numeric-id":5527811,"id":"Q5527811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$F39D7644-5E36-4FCD-AC72-8ABBD21AA66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44861c68d72f92ebe19ef2f0e20bf53d2c095668","datavalue":{"value":{"entity-type":"item","numeric-id":4101816,"id":"Q4101816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$1E70D263-E3A4-42C1-B4C9-14C02276526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$7E38015A-D76F-4604-9D37-626121A222F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ba9a4a3151eb2411955bf9d28c8e8c1f6f65db","datavalue":{"value":{"entity-type":"item","numeric-id":3279280,"id":"Q3279280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$2CC85162-3D66-4EA8-B886-7B828920E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f058cb51d734ec626a5f698a981cf173048b130c","datavalue":{"value":{"entity-type":"item","numeric-id":5731773,"id":"Q5731773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$7D3E1133-FF8F-4801-B5A0-46DD41D7DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$0FC164DB-2B3E-418A-8817-B27F6E2AE2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$4B360FF6-F02A-40A6-B46A-7E750C363BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f21392d32b0af9e9849f2cdbd80e3def5200249","datavalue":{"value":{"entity-type":"item","numeric-id":5762416,"id":"Q5762416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754864$EF8A8325-DC26-48A0-9CD8-44EDA54A82F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4248317ee735c22bf677202d8809362139f7e9dd","datavalue":{"value":"https://doi.org/10.1007/bf00493672","type":"string"},"datatype":"url"},"type":"statement","id":"Q754864$5023BD14-0150-4F2C-9F9E-BDA2B8DF1503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b314042dc8d6db9212bd11f93e7eb792858a9c","datavalue":{"value":"W1582789112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754864$D59CA6F2-EDA2-46EF-B5C9-666B119D4327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:754864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:754864"}}}}}