{"entities":{"Q1233017":{"pageid":1243767,"ns":120,"title":"Item:Q1233017","lastrevid":69949182,"modified":"2026-04-13T11:24:56Z","type":"item","id":"Q1233017","labels":{"en":{"language":"en","value":"Embeddings of classical logic in S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3537645"}},"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":"Q1233017$53AE57F6-12F6-45C2-9FE0-8C444FC8669F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"968efb7fd8a060a34053a1b25e71452790fb29e6","datavalue":{"value":{"text":"Embeddings of classical logic in S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1233017$6CB6CA2A-3096-4C51-A1A8-521D3A89E2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa18bb2ca6779db6f20bfaaa6e441d9b6e78286a","datavalue":{"value":"0345.02014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$EA5DF9E0-FCC5-4898-856D-1F8D3197D3FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cbf61aef08eab537ed114c3ec42b01188ca20c7","datavalue":{"value":"10.1007/BF02314426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$750E3FDB-D4FA-4D39-80F1-2D2E1620B52A","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":"Q1233017$F3806B39-1D05-42FB-9E7E-9F7F7383B659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q1233017$BD710FBD-A444-4809-A104-AE455791420A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$30B02FE3-81BD-4E93-8207-930702492F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$19A4E997-5FDF-43DE-B686-9F1A23E47933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$F9F65108-11CE-432D-A737-ADC9D6686B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d2affc8275fbba78a77abb0704dd7b55558d85","datavalue":{"value":"3537645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$03D63BEC-89CA-4562-A21F-3D4F3E025A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1edf586b0a9cde23e8a681f267f1e07661b73a22","datavalue":{"value":{"entity-type":"item","numeric-id":1220482,"id":"Q1220482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$C911C6C7-8927-4545-AE60-A7AA1E12FA05","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":"Q1233017$DB8C56A3-A4E2-49A1-8DEE-7F467084C50F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03aa01489a8ae4be5b508f069c365b7df084b24c","datavalue":{"value":{"entity-type":"item","numeric-id":5623657,"id":"Q5623657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$04836406-FF72-4A0D-86C0-0326BC259714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a084492b6c511dc051f5e0b718a2fc1f4adf14f1","datavalue":{"value":{"entity-type":"item","numeric-id":4774043,"id":"Q4774043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$69C85251-3AEB-4020-BB03-D53C2DD866EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$75B67D5B-221B-4AE8-8390-EC44CB787EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$49533DF9-F954-40D1-AAC6-7AEDA75162B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fefe1303c1209efcd75010cea3bcf89acbb57","datavalue":{"value":{"entity-type":"item","numeric-id":3261411,"id":"Q3261411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$2540120F-F5B4-4755-B6BC-64676EACD0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$480E7C74-C5F5-4BF0-BEDD-E9E8F8D61943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233017$38022517-9B60-490D-9A0E-AB0E9204AC84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b3f4402339414491993ff628e14e08f5d8f57f4","datavalue":{"value":"https://doi.org/10.1007/bf02314426","type":"string"},"datatype":"url"},"type":"statement","id":"Q1233017$C1F0F1FB-E625-429B-BCBC-1DC58522456A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43a8077ca9561a850c3d293e8eba4a889c50205c","datavalue":{"value":"W2000683184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233017$AE595CA7-2CBF-4386-85DA-03A988A46D40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings of classical logic in S4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embeddings_of_classical_logic_in_S4"}}}}}