{"entities":{"Q4635866":{"pageid":6665447,"ns":120,"title":"Item:Q4635866","lastrevid":58313439,"modified":"2026-04-04T16:36:56Z","type":"item","id":"Q4635866","labels":{"en":{"language":"en","value":"Two-variable logic with a between relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863480"}},"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":"Q4635866$0098124B-4F0D-4D66-BC99-56570F821B1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"379d38731633a84e3fb1cb12921ed442df53adff","datavalue":{"value":{"text":"Two-variable Logic with a Between Relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635866$002714C1-E7E2-45D2-ACBF-33D5A72DB258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9603b16359f476af1c489507038930d2708390a3","datavalue":{"value":"1394.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$6F8A91CF-7DBE-4B4E-8241-2C461631951F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7caa95dc14a9d79115969cc4d546f9f20ed3fdda","datavalue":{"value":"10.1145/2933575.2935308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$4DF5AA6E-1C05-411C-A053-72AE86D5A56A","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":"Q4635866$E9B0B668-8015-473C-879B-A32E9810CEED","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":"Q4635866$696089AF-9968-4985-BEC9-A0DCAF8E8B05","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":"Q4635866$F5E77CFB-4434-4926-AB06-63EEA79C7DDD","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":"Q4635866$C0E5D204-DDB3-488E-9FCF-2475D7C67CB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635866$5A7B2B49-BF4E-474E-9875-4919318E33B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635866$8B2303BA-B010-4FCC-872D-70D1AFB234CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55932b491fb3ce10992f41bb48b60238f6d920da","datavalue":{"value":"https://arxiv.org/abs/1603.05625","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635866$0251CDDB-9D2B-4A2D-906F-4ABFBE524EEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$A0B1291D-88FA-48DD-991C-3858605DE9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$2DAE20AD-3B3C-4E6A-8910-5DC77F485BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$272B83C3-EADE-4C90-98CE-5A3A617DB8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$46F12BF7-66E5-4928-9897-30E8BB718611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$C26DB848-B2D7-4C3C-B259-47E5E095A862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fc2b9535e4a3f5613ee084a726ade687d3157cc","datavalue":{"value":"6863480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$E5596E53-584D-496B-82D7-ABB20A2B71CD","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":"Q4635866$8448A57C-8C30-4829-9EBC-2B32A875AF06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0e43b7cd1a76be2a0ddf2305e02de415b2fade2","datavalue":{"value":"W2531234554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$9E1CF055-F6AE-42B4-8B27-E2820A5F97A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"66970fdad7b50d4d3a3cb669d8c20b0375d4f78f","datavalue":{"value":"Q130849109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635866$4F789A53-699A-4AA9-81A3-4EAE1BA825B1","rank":"normal"}],"P1643":[{"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":"cc2928f14d95e77923cb1dae8e86d285e5c8b4c7","datavalue":{"value":{"amount":"+0.7960863709449768","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":"Q4635866$08F58A0C-EBD8-4473-A358-7BCC1E12BC15","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":"41967607e5906e6ada11b07d9939e193d371342c","datavalue":{"value":{"amount":"+0.7954085469245911","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":"Q4635866$1FFEF97A-B73C-4C0B-AA3A-DCD36B992E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791425f5b8c239bfca25ffee770824031d8ea0f8","datavalue":{"value":{"amount":"+0.7808284163475037","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":"Q4635866$58193E85-A21C-48C2-BC21-65C57437C867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e856fd700eebb3042f5d261169a1ec2c943e99db","datavalue":{"value":{"amount":"+0.7788437008857727","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":"Q4635866$6B81AF17-04DF-4261-89AF-E1C73C7DAF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1de9d2f4c5bb49b51f27519f8642973375f89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d383dda2063c07730ea64537425e7697ec699807","datavalue":{"value":{"amount":"+0.7766103148460388","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":"Q4635866$B906799C-4A2C-40A3-9400-2B868993C022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635866"}}}}}