{"entities":{"Q5310637":{"pageid":7340211,"ns":120,"title":"Item:Q5310637","lastrevid":50182451,"modified":"2026-01-13T10:24:38Z","type":"item","id":"Q5310637","labels":{"en":{"language":"en","value":"The succinctness of first-order logic on linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200107"}},"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":"Q5310637$A57F4694-222E-495B-9CE3-FC566BEFAA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eab2dd30625362bf070b04bfa5e86430a5870de","datavalue":{"value":{"text":"The succinctness of first-order logic on linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310637$7FF7B176-EA57-4D87-AE11-73809C2BFE94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fba820991f41f5c24fbf887e40fac07eb41eb2d","datavalue":{"value":"1125.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$C2433171-22DC-4769-A9A2-B4121836814C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e974f62a989c3f4e794157b25bce4215c87f66","datavalue":{"value":"10.2168/LMCS-1(1:6)2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$F44A5329-0430-4838-96FF-858BA04B8170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310637$6B19FA18-D993-4DF5-81E0-04116312666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310637$BB5C2F88-01AD-4A05-8581-CDF61DCD1F72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310637$638FA899-ACC8-4140-80D5-E88F48A773C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310637$52B2AEEA-7514-4DF4-A919-00E0E311FC5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$62007A8C-7119-47F1-975F-28FD0D3031AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$F400FFF1-7CEF-49A0-B90E-2D70A3AE6DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$72C96AAD-E40D-4519-9358-395CD43C5826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1cca59a37229b679f8d66c94b2e14f66811d63b","datavalue":{"value":"5200107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$3DDDD9FB-D831-46A8-A1B7-2BBA1A981538","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":"Q5310637$45D81A95-37B0-4679-A135-4A60CBA73615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c5b0eb8938e2155b0cc8ed12ba17b22a1d3753","datavalue":{"value":"https://doi.org/10.2168/lmcs-1(1:6)2005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310637$80384AD4-F5A5-49CA-ACFF-D04D5127466B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b4260d7aa5fa950a70773f44f72256752435dbb","datavalue":{"value":"W2950144551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310637$4FFDBD2C-BC9D-4D9A-BF95-7892B4BC8C5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15ef89672c0a339c1417b1b80d5c659a3d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4659888,"id":"Q4659888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b777654a69e9645ab025f86d18e9f315371dca","datavalue":{"value":{"amount":"+0.7905021905899048","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":"Q5310637$DD0B9686-8DBF-449F-9265-BBE8AF494F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b9af3deaa7b5dbb5fe1de484b40d10a711df54","datavalue":{"value":{"entity-type":"item","numeric-id":3586109,"id":"Q3586109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c204100f6be8748f50886b882db1bf41b0ebaec","datavalue":{"value":{"amount":"+0.7583101391792297","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":"Q5310637$CA7AC207-F31D-4F6E-84BE-F108D5A17A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55c56d631d56e63de8f3056c3ad7462c525e3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5292639,"id":"Q5292639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cca49db5ba2225e6f9f12b1bfde2bc104a247e0","datavalue":{"value":{"amount":"+0.7549779415130615","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":"Q5310637$AD3BFECF-5341-4AFE-9422-0BE0767951E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3486612ff18df507d22c05824810415c2c11fac","datavalue":{"value":{"entity-type":"item","numeric-id":4608722,"id":"Q4608722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8fcad8e2a37d48f8f0c304cc207f3856e1df67","datavalue":{"value":{"amount":"+0.754909098148346","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":"Q5310637$D35A310D-30C6-4C0B-BCC7-3115D81A442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bf311ec05c54bb4ac0737c1814c8cf409ddb5b","datavalue":{"value":{"entity-type":"item","numeric-id":2368907,"id":"Q2368907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46bef20e0e00cc4574316226f68e6d5810461ec","datavalue":{"value":{"amount":"+0.7530081272125244","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":"Q5310637$D920AED7-9846-4BCD-A25D-D628E062CC39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310637"}}}}}