{"entities":{"Q6852322":{"pageid":20610592,"ns":120,"title":"Item:Q6852322","lastrevid":84266609,"modified":"2026-05-14T10:08:24Z","type":"item","id":"Q6852322","labels":{"en":{"language":"en","value":"An analytic representation of the semantics of first-order S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165063"}},"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":"Q6852322$93EB9BE0-A806-48C8-BC87-FDBE3B6C879D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a200e06b8965598a9b057351add67ad712dfceb","datavalue":{"value":{"text":"An analytic representation of the semantics of first-order S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6852322$209564DF-0D31-42FB-93B3-CC35682EAAAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bead2f35a25b28ac8aa76bdb2690e7b56c3948fb","datavalue":{"value":"10.1007/978-3-032-04167-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852322$62A6BF57-4AA9-4DC8-8B11-E70E35F1D519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$F7887542-2A07-4F27-8E63-79019E82A144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60da671ce70d3cb07ac80296063517f189947ac6","datavalue":{"value":{"entity-type":"item","numeric-id":6852321,"id":"Q6852321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$1CE59B8E-097F-41F6-B98A-EFC76A2A01AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$10483533-AAD4-40EF-AF29-FF9C553D064E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e2bc91f75e01209d6a7a4128f3012d483189e60","datavalue":{"value":{"time":"+2026-02-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":"Q6852322$80B9555F-847C-4217-9821-62AA3BA6DC3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852322$7820C45F-B026-4AA9-9ADE-02156563EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852322$20405D07-515C-4185-B78B-35EAC345E8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852322$A7E0FC5E-23FD-49DF-99C4-2FECECAFA00E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"211c92f2cb977fc39348e2ad7241227f104f81d1","datavalue":{"value":"8165063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852322$AD60578D-619F-4B45-8BB7-6F0F7A80C578","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$E860A116-07FA-4B8F-B0CA-7EF914FA7F99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d3d71d002e29c2e20e5cf641bf3742dc01ca97","datavalue":{"value":"modal S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$2B7A3241-5948-449F-A5C9-E3E3403F1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$8B80CBA2-3934-4A6C-B59E-C21D0F2132E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf8e92bc8f6660cc5f275cf9c987a819a545b9a","datavalue":{"value":"two-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$F9121074-F7B4-4090-96BB-560A301D38A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$02AF152E-7D1E-4026-9206-160D2062069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$7747820B-CBE6-4E04-BD84-DE65121A65C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4b67afbe2fa7f71eb3054c432ab4e79d8772f7","datavalue":{"value":"prenex fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852322$0376DBA4-E0F6-4A45-B7B9-DA5D50886E77","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":"Q6852322$0314CB35-1A58-419E-8F7B-6FB09E7F1320","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$E2757C6C-5CED-44A6-B572-F0E8EA052508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$0DA0A069-1018-4353-A335-4E6F6E1EAC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$525189DB-C8B4-4509-9F0A-28E4DA883797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$2B55C1CA-93E7-4EB0-99D9-7A1C6E97571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$43D1B7F3-2B40-459E-854C-72ECA4C89DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9ecb21470f765e1f90bea5f789dca75ececafc","datavalue":{"value":{"entity-type":"item","numeric-id":1237065,"id":"Q1237065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$C0283F71-84AA-478A-94C1-A9E7E711B707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$3915AD14-11FF-4CB4-BA65-038F2BA6D307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1dbfebb7f2fea3c20c205978987e46780bdfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2616493,"id":"Q2616493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$8772629E-A440-4269-BA7C-6A93B7E8C198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$E52FB62E-BBFD-40B2-A2FC-5F3A45763DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$CACD926E-1C64-4B80-A293-B04284FD3052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$65BEF51E-86E2-4C19-85D9-7166151FC1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$D9FC92AB-ED39-4927-A74B-813C4E601A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852322$597CBE6E-083E-41CC-AB77-83ADC4499A0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An analytic representation of the semantics of first-order S5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_analytic_representation_of_the_semantics_of_first-order_S5"}}}}}