{"entities":{"Q5224585":{"pageid":7254154,"ns":120,"title":"Item:Q5224585","lastrevid":53486180,"modified":"2026-01-25T01:05:50Z","type":"item","id":"Q5224585","labels":{"en":{"language":"en","value":"A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084851"}},"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":"Q5224585$E74D9C8C-93C8-48C6-BBA9-5889C43E2660","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46e445e6418bf5965bee9ba621c19764a2a77cfa","datavalue":{"value":"1418.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224585$18889EEC-BD87-432D-9E2D-65FB9701FFAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224585$5AD31DFD-9912-4F37-B968-329D080A5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224585$73ED7FB5-8F3A-4018-A94B-8D9401BE0128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224585$C198F7D0-2581-4AC4-A7F3-DFAEFBC4258C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224585$6995A00D-8882-43AE-9705-51DDBACB8ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224585$FD1EBE7C-7DA0-43A5-BD75-628C00245D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224585$2A442B0B-3047-4956-8046-BC673D8AF23E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b6a3f9cf0696342b30dbbaa98e09d9aed99b722","datavalue":{"value":"7084851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224585$0F70F315-E0FF-41F8-9E39-64215EA0A315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224585$F47A8AEF-67E6-4ABE-A1DE-D412B10BC9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224585$8D9D9F80-6DDF-4302-B00B-AC507BA3BDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224585$BDEF5B9B-9FBC-4DE6-838C-D8C6F6F898D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224585$4A2DE20C-7169-49F7-B6E7-1EAD845FCEC6","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":"Q5224585$56BCFDE9-0CA3-49F4-B47A-9004C9CEA82F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3902fc0bfb05737818adc5832877584e87dd56","datavalue":{"value":{"entity-type":"item","numeric-id":5112647,"id":"Q5112647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396b1fed38f65a864827536c804a1f905225091d","datavalue":{"value":{"amount":"+0.8310776948928833","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":"Q5224585$E0FF871D-9E66-4021-AFB9-60C85E2D7B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2461e29ed8dd886e7aa42232cb13dd82d29c30b4","datavalue":{"value":{"entity-type":"item","numeric-id":4424651,"id":"Q4424651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb96446535b7634730fe3aec6446cc8c90d2846","datavalue":{"value":{"amount":"+0.7813321948051453","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":"Q5224585$B7A291DD-58BC-4BF7-A2C8-9F386E9788CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761ec275852a84ba06fb42a5bf3d2852d01ec311","datavalue":{"value":{"entity-type":"item","numeric-id":5170729,"id":"Q5170729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2611fabdb813bd6f77d14a77238d94bb3ed7f35","datavalue":{"value":{"amount":"+0.738734245300293","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":"Q5224585$307C1E95-A7FF-4E87-9387-6663ECD2789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9da533509fa9b2794120c3cbacffd4a218fc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5469107,"id":"Q5469107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b5cb4d0e9952ef519210f7e3d979defd622fd5","datavalue":{"value":{"amount":"+0.735390305519104","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":"Q5224585$4B4BBE2F-C01A-4F7E-981B-C598CCBC489F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee45634b184c2f38d4fa4f92055319783d975af","datavalue":{"value":{"entity-type":"item","numeric-id":4586217,"id":"Q4586217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11094ba1910a5876366e76243074662d2e9e00b","datavalue":{"value":{"amount":"+0.7346738576889038","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":"Q5224585$76896CB0-BD4A-4F6F-8354-BD7D8B6A0F65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224585"}}}}}