{"entities":{"Q5129940":{"pageid":7159514,"ns":120,"title":"Item:Q5129940","lastrevid":55377496,"modified":"2026-02-17T15:01:05Z","type":"item","id":"Q5129940","labels":{"en":{"language":"en","value":"Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7269244"}},"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":"Q5129940$4B723CA6-D631-4A89-995B-69A7CA62831C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$B1D596F0-BC2E-4417-B0EA-8624BB1F42F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$44763D72-8E60-4BF6-A136-65B1D33F6CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$2A3D7D48-7D43-4896-ADFF-D9135E4ABC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$3B2F203B-8111-4ACE-9C03-4D387288844E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9959762f316e1937fbafa8ffb464ca9ed62f4f3f","datavalue":{"value":{"time":"+2020-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5129940$0B1943EF-3398-410D-8BBF-A49B5B8D6223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1c5835ee4aa6836cb1c1ccac7aae5984dac2432","datavalue":{"value":"https://arxiv.org/abs/1902.05905","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129940$55E1A9A5-B901-4B62-8820-86B30646E748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"300b997bdae1794263f7c1990d4cf13e949f2bce","datavalue":{"value":"https://lmcs.episciences.org/6765","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129940$B66198F4-B442-425B-844D-021E9F915C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129940$B1BD86EF-C31C-453F-8DEE-66633E15A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129940$1FF66E2E-6CC1-4B7C-A8C2-93FA9F476024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a34322e7331a316a6a3180edd27dc820e36d6596","datavalue":{"value":"7269244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129940$64F44D81-A7D0-4EE5-A7CA-D2E6E73CFF08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129940$845CCF23-4BE3-408F-A75C-23E81EE01088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129940$46241A6A-BE48-40BA-9F99-B8F49331F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0cb259b3fd7cbc76ae84a6a41f78a6ed55ce56","datavalue":{"value":"algebraic automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129940$7CF75D83-EC4B-4151-A016-A11B9BE4181D","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":"Q5129940$A9CD6DE0-A8EA-4E8A-B497-1AB4111AD620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$C782456D-C6F1-47B8-894E-274744AD060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed496352c040c4152891195e3251999037c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$9C94D0CD-A025-4F15-9C17-95AAE8323D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbfc7554ecae7784eeca857f1d8f3cb67756ee","datavalue":{"value":{"entity-type":"item","numeric-id":1236192,"id":"Q1236192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$B73F40F5-C54E-4D5C-ABBF-92C805F76577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$C35C1792-2608-4721-A476-8AF287E22415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$F840DD95-1295-491B-ADCC-C1F93470FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$D92700BC-610D-4599-9181-72E3ADFDC647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$E4483673-DB8A-4D49-A42B-24B8DF6115C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f137bccee4ed258be74af189e17ff1000128d7","datavalue":{"value":{"entity-type":"item","numeric-id":3341896,"id":"Q3341896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$99AA279D-9C35-4CAD-8958-2756F06DC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$96B4943B-B08C-4D75-9DDC-1A8D60F46DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$8E085D48-8BC9-4D86-8A1C-E4565175B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ee75763ee37528d9d069abe7cc0c6e535782e","datavalue":{"value":{"entity-type":"item","numeric-id":4635866,"id":"Q4635866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$51449730-EDFD-4F13-A5D0-1A5E3BBDBF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d7089c778924b926311d003b673769dcd2480a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$10FF870B-132E-47FE-BA49-8B3EC8780F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e020b4cf71996c72714458b87a9f65f7d9d8d6","datavalue":{"value":{"entity-type":"item","numeric-id":3584902,"id":"Q3584902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$882F253F-D263-4066-9E4C-688687B8B8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$7D9003FC-B8BD-4A84-814D-014C92907D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$B0B8488C-0B1C-4F3F-B4FB-2FBFAA455011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$ED749C3E-1350-4DCE-A1B2-93D928109889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e8adff7b8af51834283ec8ca88ccde8bc91d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5167850,"id":"Q5167850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$165F68A5-4679-4FE9-BAA8-D37ADBED45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$CBFD815C-070E-4CE9-866A-A4B6FF4301D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$1719BF18-AF04-4010-8E95-E7A801C2996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a75e85707c1f24d3c13217ffc94cef40ecf304","datavalue":{"value":{"entity-type":"item","numeric-id":1244582,"id":"Q1244582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$71A867BF-5A37-4DA4-A510-5411C63BC5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$5CA94A7A-249C-40EC-BB92-90BE5CAABCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$5815C621-0B57-41DB-9ED8-41289F268E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$FC80E58A-E97E-48E2-869F-CFE374C065C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b113992ed619428b1b3229f72aa33ebdb82b8beb","datavalue":{"value":{"entity-type":"item","numeric-id":3044353,"id":"Q3044353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$79E665DA-E59E-4864-9FF4-6981641576CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b4aceb094ef820b31d63ffcc39dc6e58d4c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$B6C84F36-E270-44D5-A253-5AE467B70D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$FF6913EA-94B4-46B2-B82A-A9425910A42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6468407fea79925550eec679c8838ea00b7831","datavalue":{"value":{"entity-type":"item","numeric-id":1207707,"id":"Q1207707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$AB5F62DE-F0B9-42B3-9BD5-89A256963E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fedaa1226af33f3e132239a703d6971d476d26","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129940$E73513D3-D555-4D0C-8D5A-F7FC4C9AC0B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce0586ad6e557bb0065e767704b06c2bfbb501","datavalue":{"value":{"entity-type":"item","numeric-id":4635866,"id":"Q4635866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20ce4e1c87a687b4eada594f87bcf0acc2ebcee","datavalue":{"value":{"amount":"+0.9622365832328796","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":"Q5129940$20099A54-72FD-48D3-988A-72C07F316DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596786e0c76dc2027fd9cf5b254112107c94a2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5079753,"id":"Q5079753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefa71d8d171e70ab3b5b8f014d645c320169927","datavalue":{"value":{"amount":"+0.8211062550544739","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":"Q5129940$0F278BF6-F596-4BF3-863C-C4491275FE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c096d9b988dc033dd6f0a2088eda170d0398bb0","datavalue":{"value":{"entity-type":"item","numeric-id":2957895,"id":"Q2957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3014a27066a9eabf595a27bb69a17736056f9f3a","datavalue":{"value":{"amount":"+0.7950899004936218","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":"Q5129940$51514CE7-4C58-4206-8881-EC422CB08D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9cc68b5d48f81cb53cadcf6989f9231f671ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a69bd7bb7d4adc691da1cc609699ff5d6e2f9d","datavalue":{"value":{"amount":"+0.7801793217658997","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":"Q5129940$0798D744-236D-42C3-B4AE-2EAFECAC9229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c871295c9e4c9edb2af1be0762e00f52730a7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f97a265cb2aacc97bf18a8a131eef3a8ac74928","datavalue":{"value":{"amount":"+0.7782472968101501","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":"Q5129940$832B784F-566A-4DC6-916B-9B672E08F2E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5129940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5129940"}}}}}