{"entities":{"Q5092377":{"pageid":7121953,"ns":120,"title":"Item:Q5092377","lastrevid":94332956,"modified":"2026-06-05T06:32:31Z","type":"item","id":"Q5092377","labels":{"en":{"language":"en","value":"The Fluted Fragment with Transitivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561662"}},"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":"Q5092377$C6A3D5EE-97E8-40A4-908E-4F2E72FF546E","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":"Q5092377$E6B86EB2-95A5-4604-A6C7-F2FABACB9FA9","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":"Q5092377$630EF03F-2CBA-44BF-94B8-6BD1CEAD36E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092377$40D90A19-8E1C-4CEA-9DA0-84D81E039DEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99dfae762341c4d25a2554ed1e43087288587f6e","datavalue":{"value":"https://arxiv.org/abs/1906.09131","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092377$F4200329-968B-46A3-AC01-4A8A28EE4111","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092377$4EEB4A25-B4BE-44B8-9649-DFA542B663ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087889b13082bda182386678877495060e9f8002","datavalue":{"value":"7561662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092377$2F15D68B-D6A8-4E7D-A7F0-A9A5778A145D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092377$39AA296A-49AC-46B0-BA5E-63958FA68223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092377$C10A5BF6-CBCF-45D4-A08B-F232E941D969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092377$B871305A-682A-4C68-8DBC-061F4082EB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092377$829CC98C-B1A3-4732-8B51-804C5AC5DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092377$31B3959B-85B2-4DB0-8264-4235388AA168","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":"Q5092377$09A10100-A355-4968-84AC-28A3EB0965E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092377$3C543298-213E-4565-8B79-1AB093FF3ECE","rank":"normal"},{"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":"Q5092377$8C803892-BD2A-4AA0-A043-F5A4AB093049","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":"Q5092377$2FB03E32-BB3A-44E6-8985-A62FFAEB33A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165e231b651a86a470bf761d7786936dcfbebcab","datavalue":{"value":{"entity-type":"item","numeric-id":5092376,"id":"Q5092376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092377$34D9DB12-4B6C-43A8-AFAE-3D0AF020F588","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":"Q5092377$3EA057D7-4F0E-45A0-B987-D7706CE34BC4","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":"Q5092377$63A76614-47A5-4D77-8125-98268298957F","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":"Q5092377$BDFEA062-6F7B-4044-9EF6-91AE94357D8D","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":"Q5092377$40AEA15D-56E0-4FD9-8B3E-C2DECA4DF39A","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":"Q5092377$D34AE54D-1837-44F6-93A8-CD9EB1B73E96","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":"Q5092377$6E841AD1-7B5A-47EE-88F5-ACBC892E5EAA","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":"Q5092377$1E113F8B-97D1-4EEB-A783-876F44087A56","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":"Q5092377$C604B150-DC2D-44E3-9D02-8982858C9BBE","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":"Q5092377$CEBB1AF4-9663-4B7A-8A82-885CD79B2597","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":"Q5092377$CCB50013-FB82-48A1-B700-0A6DEF18E902","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":"Q5092377$E85726CC-FB57-4671-A530-676421FEB63A","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":"Q5092377$C3F74D57-0998-4A32-83F9-15A8B596B271","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c58b86b4e1d1de75563881db6398d230ac2d9d","datavalue":{"value":"W2971340596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092377$94C98286-B750-4498-BA25-64C17D56CC31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c249a0b9b982f4e1acef0b3ed93a1480102246f","datavalue":{"value":{"text":"The Fluted Fragment with Transitivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092377$1B3FF839-A99D-42DD-B8C9-DBA5978C2895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4214ca20b35b5cbfe6b1fc887fb7411d9e144e36","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092377$8A0C8356-611F-433D-BFA6-871009EF626D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c13132304d29cc7503eccfd41bbe89455040b2","datavalue":{"value":{"entity-type":"item","numeric-id":2238133,"id":"Q2238133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a8e87a109e8031b3da2be5960971e287cef0fb","datavalue":{"value":{"amount":"+0.9613838791847228","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":"Q5092377$1F20B8DB-7AC5-48D2-8B1E-529CCA98907E","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":"8cc5703666bfa6f38e904abcd552097cab7b4c44","datavalue":{"value":{"amount":"+0.8371989727020264","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":"Q5092377$F0442C85-5072-4B21-91BE-6DEE1E66AC7F","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":"948df45f98c97fb12563e691ddee1798ca1980eb","datavalue":{"value":{"amount":"+0.8241022229194641","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":"Q5092377$92EBF29C-CE05-4E43-8E71-465F9EA6B7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4a14426ac6b7b8f739f1c1c2b1a563fd18abba","datavalue":{"value":{"entity-type":"item","numeric-id":5387847,"id":"Q5387847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516e66085b079c34b1d30984db7db0adc2cd84e4","datavalue":{"value":{"amount":"+0.8011243939399719","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":"Q5092377$D14E0F1B-DEB1-45F7-A3B9-73D84AA48F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73248f8ca2b31c8bea463bcc40cc29f9c8d11c74","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812c38afab3cfeb038f4dda9f1f12bcfde9a658f","datavalue":{"value":{"amount":"+0.7972091436386108","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":"Q5092377$C2D9021D-BDF9-43E0-9740-10BB933D356A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Fluted Fragment with Transitivity","badges":[]}}}}}