{"entities":{"Q1311486":{"pageid":1322236,"ns":120,"title":"Item:Q1311486","lastrevid":68427702,"modified":"2026-04-12T23:38:43Z","type":"item","id":"Q1311486","labels":{"en":{"language":"en","value":"Insolubility of G\u00f6del-L\u00f6b logic with quantifiers of propositional variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 486782"}},"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":"Q1311486$AF34FE1B-1B94-4D1F-B00C-97212E4B6349","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25a0f10922033069fcca53b986e5af6352035f21","datavalue":{"value":{"text":"Insolubility of G\u00f6del-L\u00f6b logic with quantifiers of propositional variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311486$A167F814-F875-4783-A1E6-75227C314844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5da37006145506912fb34d039cc2e7d973b4b8e3","datavalue":{"value":"0787.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311486$0DCFA7B3-8BE6-4300-947D-BA80EBAB2E3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311486$92F245E9-E001-4151-8F08-565E498056E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e822ae57cc06a579ca627441750564cc06b57269","datavalue":{"value":{"time":"+1994-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311486$A8EB4F0A-B99E-4735-8AFF-8F6CE07A548B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311486$5551328E-191D-4998-8DBF-462AB4E7E50D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc2a350a5ed6863d1e4c39c7a20f295bfe16dd01","datavalue":{"value":"486782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311486$929CD6DA-6F63-4992-9175-30D82C6BDA29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311486$4FD6FD51-C9B5-4F3C-A090-5B2AD5380B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311486$5CF84DCF-BE0F-40C6-8D1A-31FFCF0BA46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de501434cb22f2101a61b9b99a0ca64a911288f","datavalue":{"value":"provability logic GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311486$303FC807-8BFF-4206-A917-68C8A64EC21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67276ddfa35e3709448645354929a5df7f35aff","datavalue":{"value":"propositional variable quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311486$E291E81D-690A-4B31-AE11-364A1FBDCD8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311486$285FB119-B427-47FC-99F9-E6B791ECA347","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":"Q1311486$D07B6B70-C896-4D8C-A9CD-2617D8C1DE30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3fbf5982db638db95cc5b8125ccaa399da4fae","datavalue":{"value":{"entity-type":"item","numeric-id":3352997,"id":"Q3352997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdf703fd131fe2178b9e716828e8a37e408e8ee","datavalue":{"value":{"amount":"+0.8106696605682373","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":"Q1311486$3108D422-12E6-4572-B33C-773604F2FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b99bf3157ec93c24805ff4c92df3906d8071a35","datavalue":{"value":{"amount":"+0.8051478862762451","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":"Q1311486$691AD584-5900-4846-94BD-98BD7AA4FE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0974e26ef93a2fd4a02c37cc8c6b2a07d432c801","datavalue":{"value":{"amount":"+0.797630250453949","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":"Q1311486$82159F34-E8BB-4D2F-97D5-F6FF1B1D13A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165270dcbb0779a3ef574b08d3d02a1e93245438","datavalue":{"value":{"entity-type":"item","numeric-id":4809578,"id":"Q4809578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fd05575efc6342f6c6d578c09c47e16205eb5f","datavalue":{"value":{"amount":"+0.7954946160316467","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":"Q1311486$4D5A3110-E17F-4E00-8311-2AF3C7A1439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31a9679f2d82df806a9d1b8d05f1de5a6588e71","datavalue":{"value":{"amount":"+0.7952012419700623","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":"Q1311486$AC2952CF-2FE3-43A8-B8E7-1DF3E3A7D789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Insolubility of G\u00f6del-L\u00f6b logic with quantifiers of propositional variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Insolubility_of_G%C3%B6del-L%C3%B6b_logic_with_quantifiers_of_propositional_variables"}}}}}