{"entities":{"Q4276022":{"pageid":6305623,"ns":120,"title":"Item:Q4276022","lastrevid":47221591,"modified":"2026-01-01T01:31:34Z","type":"item","id":"Q4276022","labels":{"en":{"language":"en","value":"Undecidability of modal and intermediate first-order logics with two individual variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488031"}},"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":"Q4276022$58BB45DC-159E-4FCA-8D03-F55A84EAA1C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c97b8bb7c4ca94a13bc1cc97738aba42d1ac999","datavalue":{"value":{"text":"Undecidability of modal and intermediate first-order logics with two individual variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276022$E44C2E7E-72A5-4973-B80A-F8BC92BBC29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c79f7c5fc629581d06cb62bc1980195f027283","datavalue":{"value":"0797.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$E96F2169-BD6B-4834-9CEF-4200087CFA68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb14bea63ce07af4369a1b3e67ed2a499ff4ec1b","datavalue":{"value":"10.2307/2275098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$ACD99227-0C03-4FF4-A45E-30D449F4B7AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$CCCAE3A0-3FCC-4BCB-9608-63018C35C95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$F4464168-3C0C-457B-A9FE-212E97528F14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$4D46EC39-84A7-42E2-AD41-B19B57F38826","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b724eb687dbe57c6756b615ba860966fd43d36","datavalue":{"value":{"time":"+1994-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4276022$BF5F97D7-C640-4AF1-824F-4249518423E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$B5FF8901-E699-4B63-A614-D35FDA73E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$0D598E9F-3B1C-4518-A03E-57ACE1578DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$096FA3DA-9B10-4F8D-99C8-1469FB6B3FFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb4ea2c0c2dcae3870e36dea60b6e28b04898f3a","datavalue":{"value":"488031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$EAD689A2-EA03-4EE0-84CA-082A2732A0DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276022$FE30B405-B57C-4CAE-AFE8-200B99001160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276022$3393AF93-90C5-4724-914B-20861DE6FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ad4beefad0557f84369395ebb1cf50645067d8","datavalue":{"value":"two-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276022$3A7579F5-299A-4FFD-AA87-C9E6D34FE3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276022$80A02630-A391-4DDB-A608-EDE3E73DCFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2def3a585b28c1a8ce65bf55f0f51fd500ea8","datavalue":{"value":"propositional intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276022$5106E708-CC90-44F5-AC1E-45137F361435","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":"Q4276022$CE71522E-05A3-4ECD-95EC-DAE33F1C2535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"340415d68b37a6bab337b9e8de235bc65ea59aa3","datavalue":{"value":"https://doi.org/10.2307/2275098","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276022$EE39140E-0FD8-4B98-84AA-9BCA7CD6B894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90b6ac7f7598d88ec8d3490dd46a0b9195af7650","datavalue":{"value":"W2074507365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276022$0C2ED63E-D53B-4B0D-8ADE-777165E03AD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$98C7620F-9EE7-4143-AC45-31D976E11E93","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":"Q4276022$69D5D2D0-473C-44E1-BAEB-D56B35325CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$70B6B36A-CA7F-4C74-A8FF-07542411E766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$1EEAC546-EEA0-4B81-9508-65997A1C909B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$CB3AAB06-CF01-4469-BDEA-9099B7C11160","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":"Q4276022$9B78A047-14C7-4B14-8554-28E455629EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$96AC5FB4-8778-42CA-8BC5-299AB6EFE1D2","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":"Q4276022$9953CC57-5E08-4C15-B812-05436B549F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$28086D40-B487-4F1C-A2C4-82552BE481C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$5DCBB60A-4F35-4A0F-BB9E-08BB34AB51E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197e813a6e3bfe719bfe7bc0891ddf64062e9a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3265663,"id":"Q3265663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276022$C2DA4F41-C52A-47BB-A71B-5CCAA6B134FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"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":"Q4276022$3E6BF3D3-0359-443E-8996-C75906DFFCE9","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":"dab266463ce071b1b2471738bd1ab6c46b80f738","datavalue":{"value":{"amount":"+0.8329398036003113","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":"Q4276022$DADD4BC4-A0F3-44C2-BFCC-940DB9A29F18","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":"3b7eec3db46f60d205abf3d0282d356bee90f392","datavalue":{"value":{"amount":"+0.8257548809051514","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":"Q4276022$FA8CE952-F317-4D69-BD13-911A9AB02287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7eec3db46f60d205abf3d0282d356bee90f392","datavalue":{"value":{"amount":"+0.8257548809051514","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":"Q4276022$84A95CF0-C84A-48F7-8A72-11DBD447186B","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":"5750f2b758019efc6a436c935ce86aeb5ffac896","datavalue":{"value":{"amount":"+0.8196344375610352","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":"Q4276022$46E82E8C-BC94-41DB-AD33-5BDFDBE12A1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4276022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4276022"}}}}}