{"entities":{"Q2299614":{"pageid":2310357,"ns":120,"title":"Item:Q2299614","lastrevid":57831936,"modified":"2026-04-02T17:35:23Z","type":"item","id":"Q2299614","labels":{"en":{"language":"en","value":"Two first-order logics of permutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172375"}},"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":"Q2299614$03580FC1-EC66-4551-BADA-67E6B310F1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d375aa5a4b206f8308f9f5e778a03fc5cb1cb9e2","datavalue":{"value":{"text":"Two first-order logics of permutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2299614$142AE885-AD4F-47F8-B8D1-756D4CC4551F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff944078ac9c1bbf1e220c0a8a9018f8b66195b","datavalue":{"value":"1433.05004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$800390E4-CC76-4E38-8DE7-BF723601FCE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d6e1614b15a939416fc8c599677128bb376450b","datavalue":{"value":{"entity-type":"item","numeric-id":402583,"id":"Q402583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$0B7498D1-A0FD-4D88-8C3D-E3A6F870990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ddf7b5416adce0998d284c64da6c372531b3de2","datavalue":{"value":{"entity-type":"item","numeric-id":294179,"id":"Q294179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$AC3ED186-8EBD-49AC-A2C9-773F174C3032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de112a34ff9048b1b550236768ba85524bc700ad","datavalue":{"value":{"entity-type":"item","numeric-id":766144,"id":"Q766144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$6B0456C6-43A4-4378-B81D-0238F41F4520","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$2278AC57-7FEA-44DA-8A06-8E756946FF88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8934af8400a1d35c94ffa90ec50ae6ddbde55478","datavalue":{"value":{"time":"+2020-02-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":"Q2299614$60E2E685-B47A-4679-9C9B-CD2896CCEF54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0b03837f7ae435f87ef4b917c3edba8fa6b0cf5","datavalue":{"value":"https://arxiv.org/abs/1808.05459","type":"string"},"datatype":"url"},"type":"statement","id":"Q2299614$F6E86558-F401-4E59-A815-CACEE3FCD7FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$83FA2931-AB83-4943-83CE-8E796A4F2649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$87D6A9D0-0C86-424C-BFFF-2CD4BA27FB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a53c4ffd647855a4b3b7b4876bce660bfe4908","datavalue":{"value":"7172375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$EAD6AF8B-9B4A-48F9-B2A7-768B39C02731","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce0d50ef2d3fddc856fbf9944536f0e151c35f","datavalue":{"value":"permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299614$97809CAE-9EE0-4CA0-88AD-B5A428B22155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3a4134a14189694b76416ccebed15be1ca2af8","datavalue":{"value":"patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299614$9810E267-9632-43DD-BD8D-8AE947C64162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299614$4D25C9AA-5D9E-4F9C-9BCD-F61263B4052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299614$4698BD58-6A59-4E1C-BB93-F3822B11D915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e9fc810c88792690dc3b58a71c239860bed111","datavalue":{"value":"sorting operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299614$530A5E66-65D5-4CB9-92BA-74548C0C948E","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":"Q2299614$ECC531A4-E8C7-4C4C-932B-FD195D9D87BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c06aa00808323e9a274b28fd464f67bed597a3","datavalue":{"value":"W2979904875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$751760FA-1480-4AA7-BCB7-F61F9F3FF4ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81fc3cc1a15740c3b5dea71c3bc9f759b3ae144","datavalue":{"value":{"entity-type":"item","numeric-id":433475,"id":"Q433475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$8849CD07-DFBF-4FD8-9C18-492EE33618F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f7d30e460cbfd6e9c3311db7d2128487aac767","datavalue":{"value":{"entity-type":"item","numeric-id":3023983,"id":"Q3023983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$8BEC84FA-A9B4-4669-A592-BE0D2D88AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a941f4f6938dae38e0b8271aa0fa4a98823158af","datavalue":{"value":{"entity-type":"item","numeric-id":3148688,"id":"Q3148688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$A38920E1-84A6-4A13-9331-CD5731B0BF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa22c562b5b1a6d84311c9acf0fcb76f1aea863","datavalue":{"value":{"entity-type":"item","numeric-id":1856064,"id":"Q1856064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$5EF2EEA9-4472-480E-854F-7FCFCCC30A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983cf9601498e45b8720c115b4bbce59e8d4c63c","datavalue":{"value":{"entity-type":"item","numeric-id":709255,"id":"Q709255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$1FEC3301-F514-4A18-9687-A933E7ABB8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ba489b6a3d88d2d9d682a4febbd386ad4ae23b","datavalue":{"value":{"entity-type":"item","numeric-id":1103939,"id":"Q1103939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$6582050A-CD6F-49AF-9C4B-E6C5E33CBF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$A94F96AE-8FDC-4165-93B4-71A454A9375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$22347F56-2809-443E-B8DE-1C8D0C08AAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$48B76DAF-26FD-427B-AEB6-5E88B392C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$7FB138F4-ED87-4D1D-84E4-89390FD151F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28588578bb09af0b4bf0a3281ab6c8d321eb619b","datavalue":{"value":{"entity-type":"item","numeric-id":4519896,"id":"Q4519896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$83317AAF-4136-48AE-843D-DDF57365A46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c698aedd3a81e83f9a0ed8a7ddd689b9f54370","datavalue":{"value":{"entity-type":"item","numeric-id":1732039,"id":"Q1732039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$57136505-EEA6-4899-B91A-BD17B5E7DB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$C8BE020A-4EE3-4CD2-802A-995632D5F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478a5bd8cfdfa7cdfcaef8fbb8b2f01dab6c34d8","datavalue":{"value":{"entity-type":"item","numeric-id":2021398,"id":"Q2021398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$BCFDCD9E-5F3B-4FE5-9835-10FEBCBC7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd1b0231d566bd2eb7b254ff5ab1c94f42be9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4608438,"id":"Q4608438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$A0192207-86B8-46BC-964B-A823C2F4D0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$FE688BF0-F232-42AA-BF78-9DAABBB49A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f18eaeea7ef4060e43c7c2188cd545ab9e0d69","datavalue":{"value":{"entity-type":"item","numeric-id":5654999,"id":"Q5654999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$E63E1856-89A0-4132-A368-14CB8B786710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe322fffe6cd39ce712705296c2f3ff9471fea65","datavalue":{"value":{"entity-type":"item","numeric-id":715231,"id":"Q715231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$4FE4E3F3-679F-445C-88BA-05620250E5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54ada89cd5e84655a1aef4738bf155bd128e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":2949156,"id":"Q2949156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$3D14CBA1-5928-46E2-BC4B-FE79FA7D3030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4c994c44f0fece8bc62e3a1b420b69fbd2e861","datavalue":{"value":{"entity-type":"item","numeric-id":688711,"id":"Q688711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299614$8868F9D6-7B25-4652-B79C-49F71BB6C6CE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8956cdf2b1f3ff2f7377bd22e203767d0da686f0","datavalue":{"value":"Q127150601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$C4217792-B83F-491F-9553-595A130B2C81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba0f07f7ef64b94592b46b32ce693e90232f6626","datavalue":{"value":"10.1016/J.JCTA.2019.105158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299614$C3CBA2FD-E2D7-44E2-BE87-E6057334D92F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2ce5cd085b9767c537f736f568f17ee33d2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1088647,"id":"Q1088647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca8f99c791f97929207875d7b3f7e3995b05532","datavalue":{"value":{"amount":"+0.7476296424865723","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":"Q2299614$7DDC3952-DACF-49C8-99EE-D7D38CDB5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfbad677c1d3b9d6a495f8b1ec55ddc28eef97a","datavalue":{"value":{"entity-type":"item","numeric-id":1856064,"id":"Q1856064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16170dc6ea37032abd020c4883c6c7c95ed1baaa","datavalue":{"value":{"amount":"+0.7003326416015625","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":"Q2299614$0B2CFA8C-D2F4-41CC-AC4B-5C20C5DCA5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872d4f65c9562fdc1cba352314095a2ce1632df2","datavalue":{"value":{"entity-type":"item","numeric-id":1853525,"id":"Q1853525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d03035d69ad0c4e6d25638aae2d536beb0b5fa","datavalue":{"value":{"amount":"+0.6955274939537048","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":"Q2299614$A1267769-F0C9-4868-93DA-19AFE6BE86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b381f583743ec46d71be5b73903d18cd79915c4","datavalue":{"value":{"entity-type":"item","numeric-id":3224697,"id":"Q3224697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9fdcf46ad70514f0c9e75d8dcf424084d3ac72","datavalue":{"value":{"amount":"+0.6937142610549927","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":"Q2299614$BAE85DE5-E49E-4888-B60C-B86D8B65A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ecb01001b3ac8b6a12292ada5473b9ff10bea7","datavalue":{"value":{"entity-type":"item","numeric-id":4503950,"id":"Q4503950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b352f79652ec296281fc59b5c3b4ed9242fcb92","datavalue":{"value":{"amount":"+0.6835471391677856","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":"Q2299614$0D0223AF-36C7-4A7B-A3C0-137C31566C03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2299614","badges":[]}}}}}