{"entities":{"Q4255974":{"pageid":6285575,"ns":120,"title":"Item:Q4255974","lastrevid":81598460,"modified":"2026-05-06T18:54:01Z","type":"item","id":"Q4255974","labels":{"en":{"language":"en","value":"Variable compactness in 1-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308924"}},"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":"Q4255974$D125E52E-4A94-449A-8611-CD1DABEE97F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ca2202d5fef492608eabd289cff58a180377fb","datavalue":{"value":{"text":"Variable compactness in 1-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4255974$78881330-DD10-483D-BAB5-4EB8744CA572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed5763a61e0d2969cc48e337081d56b8bbf0dc45","datavalue":{"value":"0929.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$11E8C9C9-3F8D-44F5-8C1D-B96F2520FF0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ed9b20a01c8d820e525b1531e507137ac7e4fc","datavalue":{"value":{"time":"+2000-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255974$DC76A231-6CE6-4938-93FC-D635960C2ABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$910F0720-DD39-478F-9DBB-A3D0D0412AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$0B1DC308-BB9A-4458-A4B2-83AEEFD908CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$AB14BB82-A861-47C0-9689-47A309FFA36A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48176e70724e93e0f4747dbe1f03dd7467b01e47","datavalue":{"value":"1308924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$3CD8769C-3FCD-4644-A0C0-A4770841E114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a93ea4074193fb8ae439e1ba2f1fdb1043b510ce","datavalue":{"value":"finite variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255974$32BC8B78-500F-4483-A46E-C46B6AF1FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255974$034F1275-63B0-4A2E-83B7-1FF44A4A0824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255974$72C53A5F-BB8D-45CA-8950-C8E971117B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"232c8121ce82edcd0599767547f246a78ea34e42","datavalue":{"value":"Tarski's conjugated quasi-projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255974$3E3BA026-64F1-4278-905C-D0F952A80C17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255974$E2583FCB-D279-4E33-9B4D-892357214259","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":"Q4255974$06EB080E-98E7-4FC7-B873-33DA4D14021E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1194f794b3b63a487b4eacb35a67da861f5db0c","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.3.327","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255974$6121E271-62F3-4456-8337-78F4FBF1A086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5366e7dd7a4551ab91661b091bb0fc37b15bc8c","datavalue":{"value":"W1971323190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$C68EA7A3-3E5C-42C8-849A-2B48E7B311E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"971e8778235c73427ba34a3eb3df0e256be0ca27","datavalue":{"value":"10.1093/JIGPAL/7.3.327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255974$E2CE15C2-4E1B-44F5-9E37-5BAAA95D04EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255974$54DD9EF4-B223-4101-BD05-0B7D6803A7B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc9a166428cc7afc81fcddbc61d4b7d4b5232e3","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0700e40bbe5bfcbd20471cd21164573df670b33c","datavalue":{"value":{"amount":"+0.7453193068504333","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":"Q4255974$0112C2AB-1247-448C-AE1D-4A9914770857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb8eab794a3429910041b5eb979be66ae922d38","datavalue":{"value":{"entity-type":"item","numeric-id":1882566,"id":"Q1882566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe22abebd9a8001382af0672a6c3957275dc4d37","datavalue":{"value":{"amount":"+0.7393218278884888","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":"Q4255974$3D055911-FFFD-41BA-AE1D-DADCB1801A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d3e3575ff666253ac0241769847bcc398cba6f","datavalue":{"value":{"amount":"+0.7168962359428406","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":"Q4255974$1BFFAD1C-08EF-45E6-854B-9AE7AA87F252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54f6a9e9975216e39cf3f3e432c55852bd50993","datavalue":{"value":{"entity-type":"item","numeric-id":3647292,"id":"Q3647292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef2eec9685697096d458aafd301764dc60adabc","datavalue":{"value":{"amount":"+0.7030883431434631","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":"Q4255974$849B57EA-71FD-4C50-A33E-9CCAC65F9A52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable compactness in 1-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variable_compactness_in_1-order_logic"}}}}}