{"entities":{"Q2238133":{"pageid":2248876,"ns":120,"title":"Item:Q2238133","lastrevid":71648853,"modified":"2026-04-13T23:38:17Z","type":"item","id":"Q2238133","labels":{"en":{"language":"en","value":"The fluted fragment with transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7417481"}},"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":"Q2238133$7339F8AE-8B3F-415D-8CAF-9384FCE96976","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329c8a0524931a247adc0607ec6ab44de6412ab3","datavalue":{"value":{"text":"The fluted fragment with transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238133$F0092DCE-29DD-4531-88A9-06975CEBF1E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a916442142b90e0c40ff9878ec39075dd0f5470","datavalue":{"value":"1490.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$E671E566-F99C-4A6D-A034-9D41E17364A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$5E942B26-6C9D-49F9-85A6-049A311E49A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$42BD49F7-231D-4CCE-BF2E-9FDEA8199CF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$86BB2D53-96B3-43EE-9472-30EE7078D616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0972b49faa1fac8c402fe24a8463a0a03e1c1e","datavalue":{"value":{"time":"+2021-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2238133$B1449D6C-81E6-4A57-9FC0-10EF7F338175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6712c8b32be3477fc79ca6b5540fe8dfb33c448","datavalue":{"value":"https://arxiv.org/abs/2006.11169","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238133$E32B2E99-87FA-4CE1-B880-398C20402983","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cac511465723f700843f5297e41b099130813e5","datavalue":{"value":"This is a technical paper focused on a fragment of first-order logic called \\emph{fluted} and characterized by a restriction on the occurrences of object variables. In a nutshell, variables can be indexed by natural numbers, they must occur ordered and without gaps in every atom, composed formulas must share the variable of highest index, and quantified variables must have the highest indices in the associated immediate subformulas. For example, \\[ \\forall x_1 (\\text{person }(x_1) \\rightarrow \\exists x_2\\text{ has parent }(x_1,x_2)) \\] is a statement in the fluted fragment of first-order logic, while \\[ \\forall x_1 (\\text{person }(x_1) \\rightarrow \\exists x_2\\text{ is parent of }(x_2,x_1)) \\] is not (because variables in \\(\\text{is parent of }(x_2,x_1)\\) are not ordered).  An interesting property of the fluted fragment is that its satisfiable formulas are guaranteed to have some finite models, a property known as \\emph{finite model property}. The paper considers a few extensions of the fragment and formally establishes that such a property is lost if the language permits the usage of equality and transitive relations. All results are described in easy-to-understand terms, as well as with rigour and detailed proofs. A few figures help to visualize some technical constructions. Whether the finite model property is lost in presence of transitive relations without the usage of equality is left open, but some interesting directions are given in the concluding section.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238133$FCD788E9-22A3-4729-BD29-565678FBA36F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"119a5241204f4077e38ea5fa8d54bf6a496b34e5","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$0BBC12CE-A7B5-4638-9BED-369F83CD028B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$751654C5-D100-421A-9F2D-F534F828DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$7677FC4D-BEA5-4CF0-B8F1-08CD87C75C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$CDFF4BF0-E2D8-438B-88F3-731ED63EE821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$FDDEFC25-6E07-45BE-A1F2-642101CA2BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$04B52485-794E-4C2B-9FC6-5C36D6EF1313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29054221e8ee8433f641cff86f68f922ad73d0d4","datavalue":{"value":"7417481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$854EDB42-C137-4FAD-9417-73A8AC5B8113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238133$2C7B136C-25CB-4135-9C3B-C70EEC29BD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238133$E3315EA6-B028-4C02-8D7B-D1C2C4D25F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238133$72032BEC-51CC-4A8B-A3A2-59A48E16D854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1027e2d68489385d1cb68b79576c753d9da1e4","datavalue":{"value":"fluted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238133$2E41096E-2A90-4E36-81B3-5D300A883C26","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":"Q2238133$C40A39B8-3197-464B-8A8E-7F075A02F1F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9244f8db968657389aa1235cc567e88ea1f5d088","datavalue":{"value":"W3197582276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$60F9347E-E6D5-4562-BC2B-159BFEFB1578","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$EA35E648-2B74-40BA-9945-3164FC4DA118","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":"Q2238133$C2665864-0FFC-4CFF-BCA8-C79F124C72F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$F1E30304-C4F8-4C42-901A-944ED0A12FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$903C5DAD-7858-45A8-8AF0-D88E4772A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ac1bd0803b6e4f2a276c862a21b92760aed18","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$17B5EF18-6E4B-413A-B745-A885135CCA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$519DBA70-EFFE-44F8-9AE5-93B236CD5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$D0D61D1E-E100-497D-955F-E25D560C30A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfcad307325bd18e290d029b653422ef60e5d02d","datavalue":{"value":{"entity-type":"item","numeric-id":4608732,"id":"Q4608732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$1A16E3E2-9704-4DE3-8EB9-D4E44ACB8A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$C51BB46F-E458-4AAF-87D2-8343F497A563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a186a9c321a0804ef888e42e702eb98d42d8b0","datavalue":{"value":{"entity-type":"item","numeric-id":754174,"id":"Q754174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$503990F3-C840-444F-9C36-E7124356620B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcfb68fba027cacb9b0860a53badbc1e10d06ac","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$2730C3CD-2B2B-4948-A574-74877E6A5335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a307a54b136a7dff35cd428984127e8544132814","datavalue":{"value":{"entity-type":"item","numeric-id":5278428,"id":"Q5278428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$F4CEF13A-2323-42C8-92D2-8134ADB5D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$316083D9-5453-486D-B77F-7C24191605CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2be23a85160968cfb4feda3b3775d35b9b0f8c","datavalue":{"value":{"entity-type":"item","numeric-id":5092377,"id":"Q5092377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$3E536EFF-2F7D-4F60-BF97-771D85C0442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219a71815a80dbf46b234bd99029e8a02dc7f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4894729,"id":"Q4894729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$2902BA48-4130-4EC5-930E-21C721FD5EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08a5633abe89c0e288b079cb6168e91239e42c0","datavalue":{"value":{"entity-type":"item","numeric-id":1612689,"id":"Q1612689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$2B587DA8-1BE6-4673-A3CD-AEDE55D0B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$FA491065-AB74-4BB4-B194-AD46320D82B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec631cdab6bc15f40bbeb35b22906d9d8ce1a88","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$8F2BBBD8-6CD0-48EB-85B0-2FF18DAF8F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da4060c7b020c95e432b6e370c29a11b01619a4","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$5364A14D-26BA-4F74-87FD-27255FE18910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d213b1af57f6f45a5d764214e8263b3bd8012e13","datavalue":{"value":{"entity-type":"item","numeric-id":5509685,"id":"Q5509685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238133$910D3748-0C35-4FDB-BFAD-5080C2ADA298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09123e13caf8aa3c985024865489fb9e23f434be","datavalue":{"value":"10.1016/J.APAL.2021.103042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238133$4077F610-4872-4EF5-B45A-01020F2A1EA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4132b8301b2af957976386ad40d008a25419c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1612689,"id":"Q1612689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cdcfa2659c860d2f60775f65fec462c1508f41","datavalue":{"value":{"amount":"+0.8101963400840759","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":"Q2238133$D6AA75D7-DD33-43E5-9D10-9AFDAB2F0311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48031600c1658656acee0fd80def44ed80625cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f376afc743e59aa861da7536cb5b03e42e475a","datavalue":{"value":{"amount":"+0.789679229259491","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":"Q2238133$BCB31528-A1FD-4682-98DA-C24D18062D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e05da88b95befc32e38f248d0b090740963030","datavalue":{"value":{"entity-type":"item","numeric-id":5278428,"id":"Q5278428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fca71fb0df741eb15b05ee699fa632a990769aa","datavalue":{"value":{"amount":"+0.7716970443725586","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":"Q2238133$9E8A7116-CBC2-4E52-83FC-1D89AF9DCB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9577de63a82711088442928b38a8d0d6c54658cc","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c96ac6014e07f39e793c1a7a0b54d2b6211fa5","datavalue":{"value":{"amount":"+0.731328547000885","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":"Q2238133$CDE2F332-E25C-4C27-98DD-6B94E2727F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48cda1e5d805499160b26431d29375b222ce913c","datavalue":{"value":{"amount":"+0.7183758616447449","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":"Q2238133$81719B2D-A92A-454F-826C-D573EF137F11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fluted fragment with transitive relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_fluted_fragment_with_transitive_relations"}}}}}