{"entities":{"Q1219801":{"pageid":1230550,"ns":120,"title":"Item:Q1219801","lastrevid":42953943,"modified":"2025-07-16T08:41:13Z","type":"item","id":"Q1219801","labels":{"en":{"language":"en","value":"Proof of L-decidability of Lewis system S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3489092"}},"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":"Q1219801$2DF0C558-6FA4-4F2A-99AE-A1BF55EAE6F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed27630b0cc7def7541d921af7f8dc0ec9c89092","datavalue":{"value":{"text":"Proof of L-decidability of Lewis system S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1219801$535132A2-6EBB-4D41-8805-A55100D1255C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c8b820a996eb0ac7f3b6c22e4eb4ccfde060ed6","datavalue":{"value":"0313.02012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$444DF441-D99B-41F6-B2F9-D2128F6A44B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4507f9b8b01dc79b982546471d7d508451682b7a","datavalue":{"value":"10.1007/BF02123824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$05930B0E-B321-4387-B641-1DA817659506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac71a6d64f89b3afceefebe9411be254d6ad80f1","datavalue":{"value":{"entity-type":"item","numeric-id":1211492,"id":"Q1211492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$A1DC3291-C6DA-4C37-A6E6-B5277B1C9482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf0d8992a7c055e71bb57aa2d5238d2f6336d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":766812,"id":"Q766812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$A0132DE4-9008-41B8-A8C1-7902641BFAAF","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":"Q1219801$2C80293D-CD98-4CE8-BB3E-3F977214E6C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q1219801$B53283EC-EFA2-459F-9726-5D1FD69B05EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$DC96262F-31E7-4D14-A2E1-E71F3763DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$D29F2881-A2A3-4C4C-A852-38590E4ACBED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9dc9daa389116fe052c6e7bce087974314d8f93","datavalue":{"value":"3489092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$A2C785B3-F4FF-49BB-8C45-00FF4A3C6F02","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":"Q1219801$A812569F-B6C1-4EC9-8F93-A89C9C353DBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$272B24D8-EFDF-4872-BCBA-A7BFB2FBEC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0e5926137f2781ab7f6959579a481f050fca5a","datavalue":{"value":{"entity-type":"item","numeric-id":5813911,"id":"Q5813911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$70F8A574-EACC-4E52-B353-341FCA8624DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04807fc318d390e0bea5bd1d166f4582501ec69e","datavalue":{"value":{"entity-type":"item","numeric-id":5821423,"id":"Q5821423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$7B3F654F-93B3-4CBF-A36F-785CE2F265F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3e796fd2e8120d999acaa240d4d3243776394","datavalue":{"value":{"entity-type":"item","numeric-id":2557697,"id":"Q2557697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$B2225A17-1CCF-4B1A-B9AA-9F1B4934C58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579023570065d038507c5e845b3bfb596f30e954","datavalue":{"value":{"entity-type":"item","numeric-id":4753173,"id":"Q4753173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219801$F82572C4-3BE7-4158-805C-2C06ACDB8F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"883577858ec8f3f6353e5cadbbda5737185480bf","datavalue":{"value":"https://doi.org/10.1007/bf02123824","type":"string"},"datatype":"url"},"type":"statement","id":"Q1219801$59341820-C93C-4F9E-BF26-D3CA48F0BED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8513e42c47683b7e668bd3205d1d3f4d2d9ec38f","datavalue":{"value":"W2085109114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219801$B73536BE-D3D9-429F-A95F-741741974312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1219801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1219801"}}}}}