{"entities":{"Q4368450":{"pageid":6398049,"ns":120,"title":"Item:Q4368450","lastrevid":81856256,"modified":"2026-05-06T19:31:01Z","type":"item","id":"Q4368450","labels":{"en":{"language":"en","value":"Dialogue interpretation of the classical predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1094651"}},"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":"Q4368450$503098E3-7CF2-405C-A60F-59225E0EB754","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41fc72ebf6033008ba6ae41c2281910933c2d0ae","datavalue":{"value":{"text":"Dialogue interpretation of the classical predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4368450$F031416B-6ED6-4196-9015-5816B3065DB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"398c3a6e2aa78fb35c7e9cf2028fad90be79f2ec","datavalue":{"value":"0889.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$F606821A-381B-4CAC-A24E-A7AAA6FB5F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a598c1cbf97b3373f832c8c36b01b1f5b3c352c","datavalue":{"value":{"entity-type":"item","numeric-id":2713181,"id":"Q2713181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4368450$65A297AC-8CE0-4FCC-B216-BDB6783CA964","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4368450$A8DB8A09-0AAE-43A3-BFF5-4DE2851F5D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fa0fec9b6972e0aceb387683cf418851ba7bbbf","datavalue":{"value":{"time":"+1998-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4368450$2B6A999E-4D10-4838-9D93-0087B1D1126A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$A61A9050-5034-4137-A06C-0129DA66A89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$6C712D8D-9CB1-416A-8385-882187246EE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55212bd3ff78608f424a8aefef608a8a1ca3aa51","datavalue":{"value":"1094651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$775F390D-70BA-487C-B54E-B9174858D2C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4368450$BBBDB1EB-FF0E-433C-AB04-617ED1301844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9172b576a3c3769d9abdbb3f1ae3615688c96d","datavalue":{"value":"no-counter-example interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4368450$6A91CF53-17D2-414D-A0DD-E7F62173906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4368450$E86BD812-B478-45F0-B929-DA9C9A5AB4CC","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":"Q4368450$17D2EE75-FDA0-4DA0-B9D2-C6C63FA11510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a35f43118c4521189f3cf0d2a71e4e1527dbec5","datavalue":{"value":"https://doi.org/10.1070/im1997v061n01abeh000112","type":"string"},"datatype":"url"},"type":"statement","id":"Q4368450$42FA317A-48A3-41C0-AAD9-BD844B6CDEB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e0b1bdd81998fea729594245ac37ac95d91d9cf","datavalue":{"value":"W1985857905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$CD5755A7-47CA-4C82-8D74-8B86F61AE666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f57f8c43db48991e1788aa1908642f06af76a7","datavalue":{"value":"10.1070/IM1997V061N01ABEH000112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4368450$8C2C716E-1B6E-4FE0-A539-6E8ADD424D6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7571a2596927124a219062d5ea2f8b20178c390","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7338d6f22f05726eeb4678c7a549bed9090b0983","datavalue":{"value":{"amount":"+0.7618133425712585","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":"Q4368450$75C3216E-4D32-44A4-8781-B067D0F2F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2a40a8ea5ffad56f16cbd491bed848ba81c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5187859,"id":"Q5187859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c308eb7b8abbd67834c54b36e84ded635b0cc9","datavalue":{"value":{"amount":"+0.7498422265052795","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":"Q4368450$320316B0-838B-4F4E-82C5-7AA8B7E4D4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c877b046386cc1b5cc15c051f7bce2facec5c532","datavalue":{"value":{"entity-type":"item","numeric-id":4858291,"id":"Q4858291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5c1abdb90eb736c4e75a63331f7ee20fc7efed","datavalue":{"value":{"amount":"+0.7475776672363281","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":"Q4368450$BD4A519B-15E1-4050-9A68-C0DB08D9FF67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialogue interpretation of the classical predicate calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dialogue_interpretation_of_the_classical_predicate_calculus"}}}}}