{"entities":{"Q6160754":{"pageid":13295635,"ns":120,"title":"Item:Q6160754","lastrevid":55453225,"modified":"2026-02-17T16:42:59Z","type":"item","id":"Q6160754","labels":{"en":{"language":"en","value":"Material dialogues for first-order logic in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691333"}},"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":"Q6160754$5081F5DB-EE5A-4A19-AD4E-373DD82D949D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062f9231e05886da998d3d809b19c8ecf7420120","datavalue":{"value":{"text":"Material dialogues for first-order logic in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160754$3FA893C3-3CB0-4915-BB6C-98CC7A6B5BD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8190174b1ee8df80635015840992272bab2617d8","datavalue":{"value":"10.1007/978-3-031-15298-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160754$6BE4C726-4407-46F5-A766-ACFB7295C22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a434a74aa4ca9b8de2662549340055be1c331ff","datavalue":{"value":{"entity-type":"item","numeric-id":2112793,"id":"Q2112793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$436CABB4-9421-404C-96E0-25A5352C8CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$26EF10A9-75CE-4D8B-833D-92C9D25D4B2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$2290447C-1450-4A4A-AF53-C86E08DA2322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-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":"Q6160754$8846A514-8FB8-421C-8922-6A4EA38F60F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160754$E1713C5E-EF40-46FB-BA6A-4B1EBAAACBCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d10642545285d119660496edb6c4656f5d1f98e","datavalue":{"value":"7691333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160754$2B72D12D-CFF9-4172-9201-9CEBE81D1FEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecfe5765d993dcaacd4e27fc47164633852fc7fc","datavalue":{"value":"dialogue games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160754$AD218A26-CBD7-4F14-BED3-026E5CD4BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160754$2C8423D9-29B6-497E-8C13-8F724E5FC325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160754$0D18BFAF-836A-43EE-B8CC-E8661C8F2939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160754$2BF909B6-1008-447C-8CE8-8039C2372F45","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":"Q6160754$260E2CAE-09DA-439D-9BF5-E6EE1FA8BBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1278043a5c53b750b97cf3af09099326b613f567","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15298-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160754$4E59133F-B5B5-4429-ABE2-B202BA8F710D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ab38d95e841e18c2e1d6669d73662ee80a5832a","datavalue":{"value":"W4297809224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160754$08CE05C3-BB9D-467C-B7B7-CE61F7177922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$4F20D16A-D473-430C-BFF9-FCEAE6089B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$E4318A73-4289-411D-84C9-2B29AF62B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ad5dde2a6405015b61e1241148341d18f67fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1061740,"id":"Q1061740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$35A846E4-5403-49F5-B8E7-CCF251D89BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d11b5633225797f864fca555faf4aef15de8c","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$3003E536-32B7-451D-8CED-68D93E77319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a419cc1148ddf55be6b5ee1a7219992f7c9285","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$18ED4E0E-66C5-4941-9E1B-D003493C1AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594d875116270968f78b59859b738c6ed734d60c","datavalue":{"value":{"entity-type":"item","numeric-id":3229402,"id":"Q3229402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$311EF306-F76E-47BD-980D-2ED8FA4F8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$0FE4BEF3-0AA1-446A-BD51-C2F7383A453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$78E62380-C03E-4235-A8BD-B3521DDAE0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160754$FC3BCB24-F1C1-49F5-9928-47561753DC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f422c8c0bd8873cd3c4de994b07bd19c4f57ad34","datavalue":{"value":{"amount":"+0.7672601938247681","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":"Q6160754$9C30A3CB-6DE3-4A17-AC7C-8CF1BE3845AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50d0f0a0d6288a86cf79700a57143b650e230a6","datavalue":{"value":{"amount":"+0.7664658427238464","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":"Q6160754$4C138323-FCA2-437F-B50A-DB735B536B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12952f4718c74bfd88ecd73b13454497dd29bc0a","datavalue":{"value":{"entity-type":"item","numeric-id":4368450,"id":"Q4368450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966ae82ad3f3ef448477304deead0643b48f3b96","datavalue":{"value":{"amount":"+0.7621188759803772","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":"Q6160754$6AD0E63F-0905-45B8-AD8B-1E55DEF9FF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fc43378d8bd842429f436d852a1e2ea1a27416","datavalue":{"value":{"entity-type":"item","numeric-id":484155,"id":"Q484155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c052f0a0490b7e8edc7053779e62003fb95fc4","datavalue":{"value":{"amount":"+0.7617132663726807","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":"Q6160754$1183C586-5091-41FF-BE2F-BFD9CDB7180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3dcd254756916527e11b18b2b22b6aac25bb79","datavalue":{"value":{"entity-type":"item","numeric-id":5013625,"id":"Q5013625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5629a83b81cc46cc0e0b80e9f4e4a39f59b7dc09","datavalue":{"value":{"amount":"+0.7402374744415283","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":"Q6160754$2C172FB4-230D-4EF1-AF80-9AF19D3429D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160754"}}}}}