{"entities":{"Q477206":{"pageid":478973,"ns":120,"title":"Item:Q477206","lastrevid":62118918,"modified":"2026-04-11T03:53:25Z","type":"item","id":"Q477206","labels":{"en":{"language":"en","value":"A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376193"}},"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":"Q477206$EF12BE12-7AC0-47DF-B906-F190F839C840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"248583b4f6981597dd49a6b5920585c31c6c0e3d","datavalue":{"value":{"text":"A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477206$1CA72DC7-8DC7-4DD9-958D-CEB825B77C64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e223d7804550b8daf68a4253ccb93983b1428cd5","datavalue":{"value":"1329.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$5D2B0C90-FC6B-4325-9CC4-03C2DA7B6555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$A7E8648F-FF5C-491F-BF2E-6A6210778761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e524e6a5b0294dd1c05a1ab8f416f23fbe4c7c7a","datavalue":{"value":{"entity-type":"item","numeric-id":477205,"id":"Q477205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$0ECAEF48-C875-489C-A411-B48FD14E4CB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$DB2E267C-8CBA-4670-9BB9-0F6688D695B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477206$A7B53DA3-FA81-4865-BD08-6D4A57D746C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de606f34aee1b924d2e499dd89aa907a375ebb6c","datavalue":{"value":"In an earlier article [LIPICS -- Leibniz Int. Proc. Inform. 12, 129--143 (2011; Zbl 1247.03013)], \\textit{D. Cantone} et al. studied the quantified fragment of set theory \\(\\forall^{\\pi}_{0}\\). In this fragment, there are only set variables, and there are terms of the form \\([x,y]\\) for ordered pairs; the operator \\(\\bar{\\pi}\\) computes the collection of non-pair elements of its argument. The predicates \\(=\\) and \\(\\in\\) can only occur in atoms off the form \\(x=y\\), \\(x\\in \\bar{\\pi}(y)\\) and \\([x,y]\\in z\\). The formulas of \\(\\forall^{\\pi}_{0}\\) are built from atoms using propositional connectives and bounded quantifications of the form \\((\\forall x\\in \\bar{\\pi}(y))\\) and \\((\\forall [x,y]\\in z)\\); nesting of quantifiers is not allowed. Significantly for the article under review, the satisfiability problem for \\(\\forall^{\\pi}_0\\) formulas was shown to be decidable in the cited article.  In the present paper, the authors consider a fragment \\(\\forall^{\\pi}_{0,2}\\) which has a two-sorted language with variables \\(\\{x, y,\\dots\\}\\) for sets and variables \\(\\{f,g,\\dots\\}\\) for maps. The atoms are of the form \\(x\\in y, [x,y]\\in f, x=y\\) and \\(f=g\\). The formulas of \\(\\forall^{\\pi}_{0,2}\\) are built from atoms using propositional connectives and bounded quantifications of the form \\((\\forall x\\in y), (\\exists x\\in y), (\\forall [x,y]\\in f)\\) and \\((\\exists [x,y]\\in f)\\), where certain nestings are forbidden.  The authors show that the satisfiability problem for \\(\\forall^{\\pi}_{0,2}\\) can be reduced to the satisfiability problem for \\(\\forall^{\\pi}_{0}\\) and is thus decidable. Moreover, they show that it is decidable in non-deterministic exponential time. For the restricted class of formulas \\((\\forall^{\\pi}_{0,2})^{\\leq h}\\), where \\(h\\) is a non-negative integer and quantifier prefix length is bounded by \\(h\\), they show the satisfiability problem is NP-complete.  Here are some further results: (1) The authors introduce a description logic \\(\\mathcal{DL} (\\forall^{\\pi}_{0,2})\\), and they show that the consistency problem for \\(\\mathcal{DL} (\\forall^{\\pi}_{0,2})\\)-knowledge bases is NP-complete. (2) The language \\(\\forall^{\\pi}_{0}\\) is more expressive than that of \\(\\forall^{\\pi}_{0,2}\\). (3) Any extension of \\(\\forall^{\\pi}_{0,2}\\) in which one can express any of the following: \\(x\\subseteq \\text{dom}(f),\\; x\\subseteq\\text{range}(f),\\; h\\subseteq f\\circ g, \\;y\\subseteq f[x]\\) has an undecidable satisfiability problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q477206$D0FB650F-FD37-4749-AA37-BA2E1977495B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$C424B315-D052-4B7E-8F31-2BF3A0B95748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$0F6AD37B-E95C-44A0-A092-61DF59A54028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$C3587102-ACD3-419E-B49A-4EF199277739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a5e5ae32f6e4644feec833d6ca19974a0db7faf","datavalue":{"value":"6376193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$1D3881BD-BCBE-4D03-BF3D-61EA4C228F7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q477206$3CBE0675-0D94-44E1-BBED-A787B6FE373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q477206$566859CB-6E29-4347-8C8C-D794D174F74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q477206$FD0E15FA-59B1-4F71-B663-05397E3C1571","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08e2f8f314529fb129405223c9cc6200110ac621","datavalue":{"value":{"entity-type":"item","numeric-id":52027,"id":"Q52027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$A066B221-235D-4C49-A4B0-C0F42E2A685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30744a9a552ea21e8a6d1afa2421d1ae2bfffd11","datavalue":{"value":{"entity-type":"item","numeric-id":18486,"id":"Q18486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$F3D8468F-29D6-4A3E-9468-57583328EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"96a7c392d0029d46bda6e6c2cd21ec15cb273fd5","datavalue":{"value":{"entity-type":"item","numeric-id":24367,"id":"Q24367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$9E8A62B3-89D4-4168-AC09-44713127B300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$153C02D5-E463-4EFA-BDF4-7E6C3F0B1C4F","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":"Q477206$86DE8A66-1215-4AEB-8332-6E206C6FF4C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6d310a133d2bbfb4c3e60c106d8e5a5bfe7c88","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q477206$04566E6D-2AD9-4910-B97B-9D5C0173A9FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54bc409d6881f7f1b599350ded75b563cb600def","datavalue":{"value":"W2011350458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$563D4B02-73CF-4785-8640-28B86CFD1F90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$1C7CEA51-5ED2-4F6B-8CB8-BFC19E075D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$9F638DA9-39B9-46D0-8CD4-312FDC3F99A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$0342E80A-9F13-40BE-A193-88E139ED4187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dbbd3e56e72db59f1f2b99ce2421f6ddf04a11","datavalue":{"value":{"entity-type":"item","numeric-id":3916545,"id":"Q3916545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$1237FDE5-4437-4498-A6AA-38CD71B4AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6e7436c2d1c776b9092c652fe1f9a4a0eef238","datavalue":{"value":{"entity-type":"item","numeric-id":912082,"id":"Q912082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$9C0579E3-4E5A-4D4C-8646-5B28F6A39F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$375C975D-171A-488F-89A5-9327E37FF9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d71f3734eafdb455ff0e2dcab037c8997901465","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$2CABBF4E-F04E-4E74-830A-B5ACC9FA786F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f83fb13b7914b47a1c9bd84c21dc8d5ca2a74c7","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$5193E2D4-B658-4A86-BF97-6CA149C0A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e6a439442b619f115714c1110b63ec625de17","datavalue":{"value":{"entity-type":"item","numeric-id":2915678,"id":"Q2915678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$B2B393E7-A798-4E4E-AB24-944249A2878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$1FFB6A9F-8863-41CE-A589-9EB55E74834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1c28f161c876d376912d6ff85cec0f631cd142","datavalue":{"value":{"entity-type":"item","numeric-id":5305641,"id":"Q5305641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$145C6F60-A525-4C5C-B8C9-410256EB4400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42401748b0197b7032621861e832f0a1404c2652","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$4F8FD2E5-FA01-483D-BD18-F1E98B9F0BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c55cca437d96f93b2f4f850ce6e8dd3142bcc7b","datavalue":{"value":{"entity-type":"item","numeric-id":3900014,"id":"Q3900014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$0244B2C2-4A36-46BA-AF98-20F14C1E23E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa4f8dd4dfdc0c9fe765fa4c60ace59fa4f5cec","datavalue":{"value":{"entity-type":"item","numeric-id":3905254,"id":"Q3905254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$799781C0-92D9-4D40-8BA8-3DA4DFFA58E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d7600310caa52622ceb27aa6089f092792d78a","datavalue":{"value":{"entity-type":"item","numeric-id":5427250,"id":"Q5427250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$9D28D228-86ED-4484-8C2F-27C4D84325EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7def948a61421e05133353cf76b8955bb1d7788e","datavalue":{"value":{"entity-type":"item","numeric-id":3570158,"id":"Q3570158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$747C1DC5-6109-469D-BC74-654BD72B23EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5e294927e696204d25b0a98a67874fec6ce3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2915897,"id":"Q2915897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$57602C8D-7566-42E4-AEC1-C90354BB9EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$6A4BBCA1-285D-4D93-B6E6-AC1520CB0644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477206$BCB4E109-012A-4920-B0A5-9C78B7E747F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3193893d8d38a2646e6cc829d0432f9c6fa5f7b","datavalue":{"value":"10.1016/J.TCS.2014.03.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477206$B8D510C1-F7D5-4241-B0AD-B761E6F9D0C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0419543bc1078792c29b3756c70500d712a5f926","datavalue":{"value":{"entity-type":"item","numeric-id":4986517,"id":"Q4986517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de5cdbc59d28bada82aa951b169c1a518455794","datavalue":{"value":{"amount":"+0.97702503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$F9771148-B4B3-4E5F-B955-0B0C076F32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77838326060408aff04f2253158355d5b9f5bfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2915678,"id":"Q2915678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f09d246ba442afe5a36a6c011bfd39a3526f73","datavalue":{"value":{"amount":"+0.9233248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$6764DC6B-A4CC-4217-8D66-CD13C92E1A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e7680056df24b90c52a3064737e0a98d3684f","datavalue":{"value":{"entity-type":"item","numeric-id":737087,"id":"Q737087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b165b3d5326608914c6b105f873d0f7ced26e6","datavalue":{"value":{"amount":"+0.88505876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$B12D5D90-FC97-419B-ABEA-EE30B15F8E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2a4381c464e5d0c67ce8b500178117168a7be2","datavalue":{"value":{"entity-type":"item","numeric-id":3973318,"id":"Q3973318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a9e406d75ab95ed4b1c8d3c6320af871d7c0dd","datavalue":{"value":{"amount":"+0.88332593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$C8503D12-558D-4A7C-9891-5359D0F39BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1f603b5d91155752e2ea53d4b5acc651a3501","datavalue":{"value":{"entity-type":"item","numeric-id":5151271,"id":"Q5151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f688228eb11aff55a18b5c49c99fd50a6c674ab","datavalue":{"value":{"amount":"+0.8747848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$EF5FA3FF-54C0-426A-B81C-A37A47093F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcc038c78f7a086a3f2e73a2999c05086032cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5240d8c67455fb5a213d09e38770783d6afec004","datavalue":{"value":{"amount":"+0.87435085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$5C6229A7-5AAC-4954-987A-F25F8CC41E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b953f0df74b274878c61a926b10656efc2c62f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5240d8c67455fb5a213d09e38770783d6afec004","datavalue":{"value":{"amount":"+0.87435085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$130849C5-840F-4F5D-86A0-D88FDCCDA310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1f68c63bc4efc50eee6fa82b2bf32258aca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2318170,"id":"Q2318170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781936ba1b6473ae5c0070bec2c3d9974edbf005","datavalue":{"value":{"amount":"+0.8718764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$FD9287B0-D7F0-485C-96B9-6B71A2A4A0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8b9486172f18796ef42a7d276e9352c22524f","datavalue":{"value":{"entity-type":"item","numeric-id":2013319,"id":"Q2013319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f72130dcae1bd858323c899a360baacbcb05946","datavalue":{"value":{"amount":"+0.8651272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$F8990125-ADD3-48EC-B707-5F344DDD5AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2dc0225b3510b5ef7383a4640904f284b526f0","datavalue":{"value":{"amount":"+0.86289054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477206$AD438B98-5BCC-4232-A6DB-D77C57F831A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidable_two-sorted_quantified_fragment_of_set_theory_with_ordered_pairs_and_some_undecidable_extensions"}}}}}