{"entities":{"Q4635897":{"pageid":6665478,"ns":120,"title":"Item:Q4635897","lastrevid":58314330,"modified":"2026-04-04T16:42:13Z","type":"item","id":"Q4635897","labels":{"en":{"language":"en","value":"Order invariance on decomposable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863509"}},"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":"Q4635897$5CED1E59-772C-4AB3-9EB2-6A10FA58BEA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"610daca0edfaac93353b84075af8daa365d04f58","datavalue":{"value":{"text":"Order Invariance on Decomposable Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635897$81D19361-28CE-4029-AC03-657852DD8CBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ddeef0d5e5e0a06e69f37b7e0daa4d26d7d7aca","datavalue":{"value":"1394.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$BD7B8F85-B39F-43A7-83AD-0487600F514B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89c5a616393cb4ee0eb8bbf0049c2b18625ae54","datavalue":{"value":"10.1145/2933575.2934517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$57B144AD-C0DF-48DE-8836-7F823554A526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87985f4d1b190d4771ed7783c30ea9d5bfe4860f","datavalue":{"value":{"entity-type":"item","numeric-id":390886,"id":"Q390886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635897$6865D082-B76F-4C86-B1DC-214ADC2AE735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"728a39871974f29b7015f924664a0a8eafa133f7","datavalue":{"value":{"entity-type":"item","numeric-id":4635896,"id":"Q4635896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635897$187ED2C1-5BEA-4A5B-A621-318B18CF49B4","rank":"normal"},{"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":"Q4635897$F6C8993A-7009-4A70-A8B5-865F9244EB2C","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":"Q4635897$6641A6F4-BF16-4EF5-9C10-F1B2CEE36D93","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":"Q4635897$E52FDD94-EADC-4551-885E-C06599F67224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c741cbcc8c9a9d5e8283a11c3a9a22a9abf5cd3c","datavalue":{"value":"https://arxiv.org/abs/1606.06557","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635897$E79AB2EF-89E2-47AC-AFF4-8397B6AC1F8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$53262A21-17EA-417C-9989-CB28BC039F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$03D2A3D1-C8C8-4E6F-9B32-2B06AFDF41E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$EC053C5A-40EA-4496-98C0-EB14C5C79018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$462A7D9E-D00D-4275-BD67-B81A50B0235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$056D810A-3344-4C39-A4B2-7424C798D981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20938b96e021fb7dcb5406d9fbc4c009a4e7eca9","datavalue":{"value":"6863509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$6C0343AA-699F-4EA4-8755-916ECF5C57AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f010f13a062a89dd0beacb8f1b50a84404db89e2","datavalue":{"value":"bounded tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$3FFA8090-073E-427E-85E1-F485EB35A71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$55FC42D8-ABD5-4719-A8BE-8602DB140FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$3B1874EE-714C-4675-8795-4C2AFCD3B99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc35ecf349efc700735baeb219d267d201c84fd","datavalue":{"value":"modulo-counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$F16C3CA9-0DE7-4FCA-AC9B-F2AB9F9FD21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$A6879466-8131-44DF-9800-E46FCC2EA7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a08573dfe4492a8029ca08fb452da6b1f75c44","datavalue":{"value":"order-invariant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$60253F0C-96FF-481D-8CD0-8C24F752434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c856145ef6cf7ef96d1f0755055e2ec6f5396f57","datavalue":{"value":"planarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635897$241A97F5-946A-4103-997A-B32B512FDF73","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":"Q4635897$E779BA68-2107-4249-903B-6C08E5EBA1A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0ec2d9c877ffdcb7f5b75db85b653a32c5b2a9d","datavalue":{"value":"W2475308370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635897$C6AAC3EB-A9DF-4AFE-80D4-49014AA7128C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde80fd0ae24fa27df9f918432586f1164b3afc4","datavalue":{"value":{"entity-type":"item","numeric-id":3616348,"id":"Q3616348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1bf58b3843ef9881191a8a25f9c70f81adeab3","datavalue":{"value":{"amount":"+0.8549407720565796","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":"Q4635897$2A41F431-4DA1-4025-887E-53A35210252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f576b40445ded05683aed6256e5371a4f0d961","datavalue":{"value":{"entity-type":"item","numeric-id":5394583,"id":"Q5394583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5704fbe7952ade8900e8e7a1b07409183e824e4a","datavalue":{"value":{"amount":"+0.8521202802658081","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":"Q4635897$3CC2360C-2761-44BF-BE37-9158AA8F95D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0533e66645b81c6da967d667fa77a5c20e27b38","datavalue":{"value":{"entity-type":"item","numeric-id":2922020,"id":"Q2922020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183022c88c95bb94c0f8733bb16bfc6904ed9609","datavalue":{"value":{"amount":"+0.8455823063850403","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":"Q4635897$EA01EEFC-11A5-4367-83F5-C347F1D2DCCB","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":"f4a0bce6885266842d2624c3af57ba9d8de14342","datavalue":{"value":{"amount":"+0.8269743919372559","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":"Q4635897$7AC2A996-705B-4A19-817C-4A17225BCF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7383aa5f586520805ab77ff48f023e1c7387aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4910729,"id":"Q4910729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f57a9cf000e7266e1c41ca4c7b31a99a417c706","datavalue":{"value":{"amount":"+0.8226476311683655","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":"Q4635897$5A00E807-2682-49F9-A10D-C64054C2E3CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635897"}}}}}