{"entities":{"Q3370616":{"pageid":3381320,"ns":120,"title":"Item:Q3370616","lastrevid":49780921,"modified":"2026-01-10T16:30:57Z","type":"item","id":"Q3370616","labels":{"en":{"language":"en","value":"Undecidability of First-Order Intuitionistic and Modal Logics with Two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004636"}},"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":"Q3370616$85286DD2-E086-4EC2-8BBE-B1916BB04B2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14ae254a7f21cf6fd25d1aa5fad8e62c3da2561d","datavalue":{"value":{"text":"Undecidability of First-Order Intuitionistic and Modal Logics with Two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370616$CEE0B47B-5EC9-4318-AEB4-C55AA37A2F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d155fa3f5c43f598aacec671f6e15ddfacf6f539","datavalue":{"value":"1096.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$03B14B0C-2D5E-4D22-A0C0-8808761137E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e60a0c07bba14482d50b15616f4908ac766f73f","datavalue":{"value":{"entity-type":"item","numeric-id":253974,"id":"Q253974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$3D97517C-8286-48CB-82F5-55DAEC647E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$7094A593-B87F-4EB0-ABE7-2A0849546563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$77DED005-0AF1-4A38-B409-E0F6F1789056","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370616$AA2D1741-3AA7-40D9-ACFE-D87A59B4D89B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9678ac399ad19d4ec1ea1022939c435489ce31ac","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.6638","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370616$1A81A350-2DA8-4898-B5EC-CD0A559BD209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$6BED47DA-C67B-4CBA-900C-905EC070F272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$F2566095-03A3-4659-8DB8-B75CCAC4D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$E9EAA92E-FEE6-4174-ACF9-6CA30DB64BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7bcc77fd8fcdc74442557b83255700a6358f71a","datavalue":{"value":"5004636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$1AC959B5-FAF2-4513-A8EE-359A5A6702F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370616$1996BDCC-2587-4AA1-A147-BBE7091B8697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f055e8767b3c80e999fade7c5045732c9bf5427d","datavalue":{"value":"two-variable fragment of quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370616$B7D289DE-06E0-4B1E-A4CA-6A01A6C487BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef0659d96f6aafcfcdf178b177b7491d4635c9f","datavalue":{"value":"two-variable fragment of first-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370616$A33C15DC-0463-4CFA-807E-1BA8223703A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171c74c4d400955fd1a3847b4d7bcecea14e2542","datavalue":{"value":"monadic two-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370616$8CA9CEF6-C7AA-44EB-A6DA-EA94260377A9","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":"Q3370616$C142FCDC-F98E-494B-AF23-7EA54A82074D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84d6ac6ef481f941aba30486af7716f1aaf4880e","datavalue":{"value":"W2057232741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$698D68CF-4928-4659-A739-19CD79A58F40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8268d6e5977ea3d5f2e97da46a432dd5fc5c381e","datavalue":{"value":"Q62048648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$4253173D-0569-4B7F-ABFC-8167A596A606","rank":"normal"}],"P223":[{"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":"Q3370616$81CAE60D-1A52-431E-A604-2790EDDFE8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc11bef0687736426881f0a6305b50c887bc9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$F3ABAB17-917E-4844-A019-CAC6BE1652C6","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":"Q3370616$F61817A6-E0F2-41D8-9E70-D938A2D475B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$15641100-7E47-422D-943A-EAB9158EDE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5369245c683380663d43367502a396b591af1be3","datavalue":{"value":{"entity-type":"item","numeric-id":5763293,"id":"Q5763293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$7982B121-C454-440F-9DC5-ED38891399E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$1E11DA44-D438-4C95-9A71-9CBB1FE729F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7261581be2247eafa3592bf3f840a736de9d81","datavalue":{"value":{"entity-type":"item","numeric-id":5586229,"id":"Q5586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$57627D0F-F8B0-4B6F-897B-405842CFDB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$2BA6D7DC-4C88-40B4-A9DE-AEB782D1861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$68662EE0-97AF-47FE-8D4E-C285B089AF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a32c88d106fd07e2d599f69881d855a700317d","datavalue":{"value":{"entity-type":"item","numeric-id":4532612,"id":"Q4532612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$8869655A-9255-46D0-B5F2-D13E080EACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea34b894a8a33affcd7f3220d163c1c0f419280","datavalue":{"value":{"entity-type":"item","numeric-id":2701663,"id":"Q2701663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$3DE2BBF7-A542-4D94-9AE1-F57474FBA97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$CC302DBA-7321-4345-A303-21B2909BE36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$19563258-9D1E-4D45-98AD-1D22C1A9524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$84A852EF-6C3E-4811-B587-D45C7C978D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$62F5BA9C-1058-4CA7-847B-A521FFB765B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a30e5c73b743b3a9b2397d6619980d4b60d30555","datavalue":{"value":"10.2178/BSL/1122038996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370616$2753B7CE-DFF3-437C-BAF6-AABED79561F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370616$010575A9-0922-4286-B2E6-FC40606FB1D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7b7c52dc8a6376c75ec77e6a6e27e86b7f03b1","datavalue":{"value":{"amount":"+0.9242533445358276","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":"Q3370616$5C11A145-51EA-41B8-94F2-29AA0DBB339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8aabb27fc40488c36d07c3a526b07bb2ce09599","datavalue":{"value":{"amount":"+0.8146693110466003","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":"Q3370616$88A17753-C30A-4F24-8D3A-D7A4D5BD55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74289bb356778b28a1b2f46f60605b3f850309c","datavalue":{"value":{"entity-type":"item","numeric-id":2506825,"id":"Q2506825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c38205a3fae64b8ddc6a3a6e3cfddad87b1c5f","datavalue":{"value":{"amount":"+0.8055688738822937","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":"Q3370616$301A6440-849E-43B5-97B3-C56BE1881071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61108cbfb662f1fbbf6036e3a71348bf35f83c22","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688efdc430ea358f0eb23970e4f56eeefb690f7d","datavalue":{"value":{"amount":"+0.8042112588882446","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":"Q3370616$ADAE1CB0-0579-4385-B9D4-0FD69E4F8449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5576d4fc72396aedfb40222caa20affb6e370926","datavalue":{"value":{"entity-type":"item","numeric-id":4566145,"id":"Q4566145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688efdc430ea358f0eb23970e4f56eeefb690f7d","datavalue":{"value":{"amount":"+0.8042112588882446","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":"Q3370616$E19BFE7A-37DD-4439-8B27-300FE0DA95C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3370616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3370616"}}}}}