{"entities":{"Q6168480":{"pageid":13303365,"ns":120,"title":"Item:Q6168480","lastrevid":58729485,"modified":"2026-04-06T12:17:16Z","type":"item","id":"Q6168480","labels":{"en":{"language":"en","value":"Ordered Fragments of First-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724235"}},"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":"Q6168480$4E03D08A-79BC-4C60-B4B3-218506A50A6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bc473bae905fbffaff82b966672e708d05e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":6168479,"id":"Q6168479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168480$C64323D3-1858-4CC7-BE9E-D11AF1BAC94B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168480$832E3A8E-200F-4699-A436-B2003D9FA412","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8597fb654461d38b0fbcc1eab0243edb4cc682d","datavalue":{"value":"https://arxiv.org/abs/2103.08046","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168480$3619E6C5-A5FB-4A0E-9EFA-B7BC5AACCEA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168480$6825662E-6481-4339-A528-85D2DC82E761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f16d0112f239e1d1f809515780ff6087d9d058f7","datavalue":{"value":"7724235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168480$8C9AFFE8-BCDD-4A69-9FC4-DA107197C964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a54f3e018cba00b3ea5e95a6220a58df0172b9","datavalue":{"value":"ordered logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168480$260BB24D-461E-4621-BC8B-7282D319316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1027e2d68489385d1cb68b79576c753d9da1e4","datavalue":{"value":"fluted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168480$B904B489-4C23-49B7-966D-FBA93F6BDA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168480$65F1664B-1FA1-48EC-89B5-2D0806ED9382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168480$24149945-4F1C-489A-BB42-A57F21205BBE","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":"Q6168480$1F275105-56CA-4F4F-AB21-4736ACF82058","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e20e762f1487e7602b5f85456e2374e5b6a816ce","datavalue":{"value":"W3196093711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168480$D0272D47-A64C-4804-8C3D-CA1E0788DC1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b971ac463d925a01b29a4f026e592bb0e9e505a8","datavalue":{"value":{"text":"Ordered Fragments of First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168480$1DC62446-8010-4BC7-A96C-4C7E5ABD7276","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8b6a05336f803a03141ea28978528580a427da","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168480$2B93DF2C-2F0F-49E5-8077-39C3A30DBC00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abbe56744178f87ec14db4ccc7afa3fd639ba1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5871044,"id":"Q5871044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b52aaf91c1938447c62e7a76efed0f1a36924a","datavalue":{"value":{"amount":"+0.9674658","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":"Q6168480$88259CD1-64A4-47AF-8E28-2CE6946C33A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6076118f3c478e429e1a131aeee112a6427205e","datavalue":{"value":{"entity-type":"item","numeric-id":2804477,"id":"Q2804477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709f9db42328f31b6b1d001b17824b185dd7a2b7","datavalue":{"value":{"amount":"+0.9354309","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":"Q6168480$383B2D8E-DC82-4D02-AD6D-663B0BF4E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4a9d4ef32ead7fa656f4a36820173839f32cac","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c95fc53c591222be04650f7bd93a38fd4a67eb8","datavalue":{"value":{"amount":"+0.9149016","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":"Q6168480$5E2FD337-7E9F-48B5-8E4C-2AD89DE6FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f7362d5497ce99eb1fc8e00b78c6605a7a92b","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c95fc53c591222be04650f7bd93a38fd4a67eb8","datavalue":{"value":{"amount":"+0.9149016","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":"Q6168480$EE3D264B-7711-4796-AF61-97370C5DD696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a49446b60c5652df2b3dc3ea673f2e51cea05a","datavalue":{"value":{"entity-type":"item","numeric-id":4342019,"id":"Q4342019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c95fc53c591222be04650f7bd93a38fd4a67eb8","datavalue":{"value":{"amount":"+0.9149016","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":"Q6168480$EF4368BB-1680-452F-AA52-0FAF94DBB169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ce7e74b3f31c8ff8d43359b67489587e854005","datavalue":{"value":{"amount":"+0.9109539","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":"Q6168480$27465B3C-A022-49C0-B7D0-167B1B9DF7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1fcb7ba4fc2f8b303767ccb8798d9414ecbf460","datavalue":{"value":{"entity-type":"item","numeric-id":5041109,"id":"Q5041109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3929dce13a5f6913c20bc28466f866d0f2d4f411","datavalue":{"value":{"amount":"+0.9102602","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":"Q6168480$0EAFF29C-6BB2-4B60-BF39-3C35FABAF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24188d048e2944a3aaa810d313265f5c460e8ae","datavalue":{"value":{"amount":"+0.9002774","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":"Q6168480$A21654B3-F4C0-49D5-B84A-741BEBAA6497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023ec1c9fae40928496819f3036f4b2ff7e8206f","datavalue":{"value":{"entity-type":"item","numeric-id":5536236,"id":"Q5536236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d1086c23c89aa4531ba0bae46cee95be4b7a62","datavalue":{"value":{"amount":"+0.9002313","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":"Q6168480$CCD2A2DF-1E77-453C-A370-69DBFBA50745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f1bdb7102a1ad9137b5f7c9b378d1d36d61619","datavalue":{"value":{"entity-type":"item","numeric-id":4376080,"id":"Q4376080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03020cb13eafa35a2b5ed7dd6f7d555854dd959","datavalue":{"value":{"amount":"+0.8996748","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":"Q6168480$4DD94C67-99F5-42CE-AC67-B9618D2310D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168480"}}}}}