{"entities":{"Q687063":{"pageid":688912,"ns":120,"title":"Item:Q687063","lastrevid":63612684,"modified":"2026-04-11T14:21:07Z","type":"item","id":"Q687063","labels":{"en":{"language":"en","value":"The logical representation of extensive games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 429109"}},"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":"Q687063$9405753B-4A23-48CF-8BCE-7715C7FA0DFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"576ba6c4078bbfc062728e12b90bc7e5dc52471f","datavalue":{"value":{"text":"The logical representation of extensive games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687063$C74A6A96-0115-4D8B-973A-E5EE417A5CF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d110273b03ecf56f03df1b8890ca1aa12c0f9653","datavalue":{"value":"0787.90110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687063$67B7E96A-8E68-4A57-ABDE-B6AC53A96F20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40c8d2dc07acc71c648f9002ab0dc9845965c12a","datavalue":{"value":"10.1007/BF01243648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687063$8B76302C-C3BA-4209-B48A-21BEB3169C7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb53f24d617843aca5185d782f1b6233ac186c7","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$C04948FB-A50A-4F78-8A38-10AEA2125993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef8712371e142c87c3e57daa1955918131611e11","datavalue":{"value":{"entity-type":"item","numeric-id":267073,"id":"Q267073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$255AABD9-80A2-4926-9ED7-5E7417FDE49C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00b02a93155106df3387b19c38bc0ac0db89fb82","datavalue":{"value":{"time":"+1994-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687063$E3D5EFA3-A52B-4C4A-9AB9-69DE0834CBBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed1749ef4bc455fa8dbdc2182211bb661fa9effb","datavalue":{"value":"Given is an extensive form \\(G\\) in which every choice is associated an atomic sentence and with every information set a set of well-formed formulas (wffs) of propositional calculus. The set of such wffs is denoted by \\(\\Gamma(G)\\). Using the so-called topological semantics for propositional calculus (which differs from the standard one based on truth tables), it is shown that the extensive form yields a topological model of \\(\\Gamma(G)\\), that is, every wff in \\(\\Gamma(G)\\) is ``true in \\(G\\)''. It is also shown that within the standard truth-table semantics for propositional calculus, there is a one-to-one and onto correspondence between the set of plays of \\(G\\) and the set of valuations that satisfy all the wffs in \\(\\Gamma(G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q687063$6FF901EF-921C-4E61-ABFB-7AB3ADF20580","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$55C335D2-E67E-4AF4-A818-31DAD398FD73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687063$AEF5C584-5EBE-4D4E-A45C-1669954C3777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687063$366D0663-ADCF-4B82-A125-3D9C77ACB244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40715d0203eb19d528fdd0563d390725a7f33b17","datavalue":{"value":"429109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687063$6940115A-AA70-413C-927C-CEAA649A4A36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc172a6281cf1ad66a3ec2b8d9da6ff8f9f2ae37","datavalue":{"value":"extensive form","type":"string"},"datatype":"string"},"type":"statement","id":"Q687063$1E6A40F9-CDA6-449B-9FD7-ED7E8760CFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e83d3e2a100c720489caa003d78c01c62fbe2a","datavalue":{"value":"well-formed formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q687063$40AB7223-A1CD-4D97-B57D-098523FC72FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q687063$C5642CCF-58C9-4460-9443-56D72894AA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687063$E6B1FB34-ECA9-4D0E-B170-F3653F84E599","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":"Q687063$DB5E5ACB-11E2-427E-BDDD-B318F67D90FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bb45e8dce38c032e2d33b45cab27e85088e661","datavalue":{"value":{"entity-type":"item","numeric-id":911776,"id":"Q911776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$83750691-B48F-4332-B455-58F03D2888DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a79bfad24a8368e2be9c923ea3846e816f33595","datavalue":{"value":{"entity-type":"item","numeric-id":1189349,"id":"Q1189349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$88EAC41C-F519-48C4-9A85-043440C1BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e9d8340b8bf12907684826eb63ff34bd46a56a","datavalue":{"value":{"entity-type":"item","numeric-id":4013235,"id":"Q4013235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$6943F33E-7C3C-4747-BFFB-4CA47776FAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2508b233692c7793ff0069d74568d019767dfeea","datavalue":{"value":{"entity-type":"item","numeric-id":5515142,"id":"Q5515142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$CC839842-F7A8-493F-B893-4B9B52F17F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155e68b0c6caf91c563f8b0e1436e319dbc729a7","datavalue":{"value":{"entity-type":"item","numeric-id":1181755,"id":"Q1181755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$BE13DB71-1408-465F-8D4B-C73FD1A8C5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b404bc254c6ca6a001815c1010ec094653cf52b","datavalue":{"value":{"entity-type":"item","numeric-id":1247953,"id":"Q1247953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$C3CAE108-DD36-4B64-937D-746F378B220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687063$CB03145E-D827-48AD-ADF4-B0C1842AB373","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615f5b72eba27528a0f4fc0273a7d724440fbe2c","datavalue":{"value":{"entity-type":"item","numeric-id":1189349,"id":"Q1189349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7ca03d2c1e05bee200c820dc6b223ae8bc7ff6","datavalue":{"value":{"amount":"+0.7897945642471313","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":"Q687063$CDBDDE74-166F-4E71-B749-52543345ED8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc46d401a82bbd6fd6550c5ff5eaeb673c6341","datavalue":{"value":{"entity-type":"item","numeric-id":3582740,"id":"Q3582740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f945e6b6bb269c03dda4fd61639a296024b3d5f","datavalue":{"value":{"amount":"+0.7697793245315552","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":"Q687063$7601DE87-246E-4BDC-901A-AABB42DD788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451e7853180acd7f9f02af319dc540a73c34a62e","datavalue":{"value":{"entity-type":"item","numeric-id":2825421,"id":"Q2825421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9808fd35a353f9ed9b635dc6903a801303134928","datavalue":{"value":{"amount":"+0.7682265043258667","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":"Q687063$0F419B91-58E6-484F-955A-3E3C7A4EB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7baa34ad9f9205f39e0656ebd62717a807be78b","datavalue":{"value":{"entity-type":"item","numeric-id":4644540,"id":"Q4644540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a6eb640ef45a7cd7ae48a27ae539756159c6c9","datavalue":{"value":{"amount":"+0.7550080418586731","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":"Q687063$1817D659-EE0B-43AB-B619-81EEB692C70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3245d75a4273aff49a09174403adcb2981c41c","datavalue":{"value":{"entity-type":"item","numeric-id":2563453,"id":"Q2563453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fdd97da8a61f4d4193735e6bba31d751cea6b3","datavalue":{"value":{"amount":"+0.7503765821456909","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":"Q687063$3F1B7998-2D1C-4AD1-8245-4F98F92803E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logical representation of extensive games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logical_representation_of_extensive_games"}}}}}