{"entities":{"Q456970":{"pageid":458737,"ns":120,"title":"Item:Q456970","lastrevid":52096901,"modified":"2026-01-20T22:36:08Z","type":"item","id":"Q456970","labels":{"en":{"language":"en","value":"Decidability of an Xstit logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348344"}},"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":"Q456970$12B28E68-F249-48C1-B06A-A36B8D14C493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5458934bb2859745256f2bedc3493cba6fd310a","datavalue":{"value":{"text":"Decidability of an Xstit logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456970$492BD82F-EC60-42E2-AD68-56A760811DA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974524e603f09c4c4298a4dffa10f189d8c894e3","datavalue":{"value":"1301.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$CD86935D-8890-4E14-8B77-B68B693D26F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad391507cad8bf8dd5f959362d3ce04e2448897","datavalue":{"value":{"entity-type":"item","numeric-id":253132,"id":"Q253132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$3152DB03-0695-4531-BFDF-5F4D7AB082BB","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":"Q456970$328CD416-2F1F-4FC0-AB24-DD8A1B89045B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q456970$D7038865-27A0-4D52-ABC3-A30A3AF81E42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$58FBAA46-8F30-4B40-94C2-C1300B6FD9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$4882410C-C0A7-49C4-8CB6-66C55529E1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$BDF40D93-0903-4916-A8CB-B2A326BE9043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$CCA10063-D001-42DD-86AF-C7EC4B3D467A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7193c99b820aa0f530d1c262cedbf7f274eefc97","datavalue":{"value":"6348344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$18A73FAA-4ABE-4031-971F-63C88B962A04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e28fd896b742ad14de566724534812323ddebdd","datavalue":{"value":"stit","type":"string"},"datatype":"string"},"type":"statement","id":"Q456970$90A2EB43-9C0D-4EBD-8246-ABD8ED6BF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8154be315b3cd04baee8056e2c879be1f9d2b371","datavalue":{"value":"Xstit","type":"string"},"datatype":"string"},"type":"statement","id":"Q456970$72FD3595-B913-4B67-B253-A63802CD4E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q456970$2EBD342E-6EDE-4800-A894-63B2F658A539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q456970$9EF3B364-D917-4579-815C-FF05B53B793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q456970$92F59C4B-205E-4B27-A0A6-B6AB8709E48E","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":"Q456970$CB0E3359-E496-482D-A59E-FA8ACD43BE19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c218d99c1b94553d2bcd7159922842162da9d4e1","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9492-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q456970$B225C27B-47AA-4E61-AD00-4FA4480CFFAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0ea8b114010c18d3c5c519b2ac27a8cf5be4b66","datavalue":{"value":"W2080872423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$7A369062-A420-4907-88DD-191DA017FE75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8499fa134124d853fcfba1275df4aef32a23c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1207431,"id":"Q1207431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$D78C455D-94AA-492F-BB2D-0B18FC4F7F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$FD8E49E7-AD19-43DC-9A4C-B7E7F75EA882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c58e34593e86e36fe4c7f5774b2cc2c8a27329","datavalue":{"value":{"entity-type":"item","numeric-id":3601785,"id":"Q3601785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$4F17D9F1-B40A-400A-8D6A-3289A51DABF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf958a12fa4475f81c2d01bd38a75c7e1c2d83a","datavalue":{"value":{"entity-type":"item","numeric-id":545173,"id":"Q545173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$4DBA1175-5602-4D1D-A60D-78C2AC6D664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e89465c22e3dc205f46375d87ab8e0fc881068","datavalue":{"value":{"entity-type":"item","numeric-id":652741,"id":"Q652741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$558E61F5-D055-4A51-9FE2-1D3BD6B57DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57f90cb24745fe66bc268878429083e6e4ed017","datavalue":{"value":{"entity-type":"item","numeric-id":1951297,"id":"Q1951297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$C01BD169-8445-4A7D-870C-74DDA7BB6693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$0D76F22E-AA5A-414D-8284-D3A78C2B4EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$153905B1-B770-4127-A89F-46871A238FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$B55062AE-1430-48F4-BC67-21C6DECC9485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dec8ab3ca76ac6156d8e5fcbd45a30c92a670f2","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$0E5E4A1C-F92C-496A-AB67-0A2FE67D5F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$641ED8FF-7A46-45A6-B653-72F965C51EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4a2e6759c2970abba0212c4292611e90f5eeea","datavalue":{"value":{"entity-type":"item","numeric-id":1928487,"id":"Q1928487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$01C4B024-AB44-4D51-A63A-EE20A3C2C428","rank":"normal"},{"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":"Q456970$B5124AE5-B8E4-4003-9F0F-31FE4AA44759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b39c890b27b9d7c58e2b8f30ca05d9536bfba8","datavalue":{"value":{"entity-type":"item","numeric-id":4372915,"id":"Q4372915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456970$12CB9AC1-47DE-4F26-85A3-27327A1811C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d02d60e984f8c462182508426a99e284f257ff05","datavalue":{"value":"10.1007/S11225-013-9492-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456970$4E1FEE89-3F7F-48A5-8B42-47425CD44813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057aa2d13de3be3b82b691a985da16cac29e5d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4518432,"id":"Q4518432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3ef2529e3baeb8ee3f0d1f38864856f7c86ba3","datavalue":{"value":{"amount":"+0.7418211102485657","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":"Q456970$12864258-DF1D-4D19-8A8A-F893E555C230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698ca8f172b27dc29a7afa00e7e7e685017d6f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1928487,"id":"Q1928487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d6835ab636482d9df59ee46969697dd7801077","datavalue":{"value":{"amount":"+0.7313563823699951","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":"Q456970$B7FDFEDF-C866-433B-9BB1-FCCCF129EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413e92685c377909d4b8899bcee78a8ab3cf82d6","datavalue":{"value":{"entity-type":"item","numeric-id":897475,"id":"Q897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8e358324ab7cfaac1835dc30d00866ab248b1f","datavalue":{"value":{"amount":"+0.7231971621513367","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":"Q456970$C1814C39-0FE8-4020-80FD-A23EB6A3A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a19e481bbdd44ff7f95cfd8b1bf4190a7ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d155ed9d8774c0c676abf3551fde459012ac7a1","datavalue":{"value":{"amount":"+0.7175129652023315","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":"Q456970$48874766-247C-48FC-838A-FEBB951730E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc9f89cc1c0388ec252c1099066ad638eb9d56","datavalue":{"value":{"entity-type":"item","numeric-id":3642988,"id":"Q3642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f96b166ed4508f332e9f7f9902ecd666004aa2","datavalue":{"value":{"amount":"+0.7168241739273071","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":"Q456970$30613A16-B448-4453-B75F-CB0D2518E8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:456970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:456970"}}}}}