{"entities":{"Q865624":{"pageid":867472,"ns":120,"title":"Item:Q865624","lastrevid":64941729,"modified":"2026-04-11T23:15:09Z","type":"item","id":"Q865624","labels":{"en":{"language":"en","value":"Permutation rewriting and algorithmic verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128340"}},"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":"Q865624$BB84FA3C-11EF-4872-A27E-622756769F02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e20f6c876398546890d3f98b84982b60e7a3ca71","datavalue":{"value":{"text":"Permutation rewriting and algorithmic verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865624$54DF4144-F2BB-4192-9318-24861D7073B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48208f4a302d45c2b543912e440e4479b875a9b","datavalue":{"value":"1107.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$861A6D27-07E9-4322-B694-4458E929E97F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$F88AB800-E625-4901-81AE-F49AC4CC2469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$4FFCDB79-8E1C-4DB4-9CB7-E89269AB7AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$1651A3F5-6185-40A9-936B-69B3E5DAB73C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$5BE4D624-EAD7-44F2-8DF3-3DAD30575D45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865624$4B9CDBE5-7677-436F-BB0B-60EA8C59E6CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$AA86A101-E711-4B1C-8053-D98089264609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$B231C6FF-4610-4906-9E69-BA812FB90A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$823648CE-5C63-482F-B369-C4DFB427E4A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"387ad6b81dfa78230409750b5c74baa12b04215b","datavalue":{"value":"5128340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$F2A1A363-1D00-4125-A24B-AD5BA9CED544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994406a4ed4c531454c43ed9283f116acd6d07d","datavalue":{"value":"regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q865624$CD2201DD-05B2-4E8D-B02D-E1D63E57B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a3cabb0750fc62b98b7c71b75ea883d27f5d29","datavalue":{"value":"semi-commutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q865624$179FE3EC-6D0C-4471-8DFB-A3C497A83259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q865624$4B11CBF9-0CED-446A-B807-652915C7B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q865624$69154662-7BE0-4C79-8351-3FA71843A4E3","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":"Q865624$0DF52975-E736-4AAF-A2B4-8861BB377399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5d058fe2d5bf4ab6b26d557750023bea239d8c2","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q865624$F8154766-43EF-41D8-B5BA-2986FDA19B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d90d736a82b39e5a82873d43152a8208d7f37209","datavalue":{"value":"W2063288032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$4750A121-8DC6-4ABD-B739-6559B99C3C8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$D4FED87A-FB19-4BF0-8B63-84DB8AC73909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$3FC55730-48DB-400A-BC67-63ED83BDDEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$6C990337-98AF-4A72-B941-042F144A6CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5bfa59c371845c9fd3bd4800fc9edda9dca81","datavalue":{"value":{"entity-type":"item","numeric-id":4223068,"id":"Q4223068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$3A7052DE-A733-4EFC-ACB5-06378A9FD4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$71B9622D-EFB5-4311-9513-563078FB0993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$C6E323A7-331B-4228-BF00-B5AFE7FD3AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$70039DCF-EC76-4EE0-9C15-F0B685EF874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32aa1157772b94939bba2ede97a34ba9aaba6f","datavalue":{"value":{"entity-type":"item","numeric-id":1111703,"id":"Q1111703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$2B4BD010-89D7-446D-9226-4893FD44D858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$AC705487-F002-4BCB-A5CA-636E98115DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$F1C9B2F8-32C1-4959-9CD8-A8AD59AA298C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$12104BC3-3A71-4EDD-9453-C83A14B214DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$7E4B03CE-76E9-46D8-9A19-77EB56A71F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$33E82445-B33C-4AB9-90E9-02A6AA1D8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$2437A488-1B13-485E-8FD9-0D6D0B1C53D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865624$6BBEEDEE-31AA-41CA-A4A5-82A83C1FCAA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"768fe294254abea57975b21535a881f1851c3b84","datavalue":{"value":"10.1016/J.IC.2005.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865624$C641DBBE-B777-4E28-991C-208216F655C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4eb8b374e354e3e26199b757e14de6913850c14","datavalue":{"value":{"entity-type":"item","numeric-id":2947424,"id":"Q2947424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa407e5006364b778f482c606fa6fff4f728e459","datavalue":{"value":{"amount":"+0.7300801277160645","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":"Q865624$FD89A41C-3AEC-4293-B866-B2FCE758BFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b127a112527dd222507cbc55ece50c1033ce55","datavalue":{"value":{"entity-type":"item","numeric-id":3515458,"id":"Q3515458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938fe9f33f7b7ad455524e4c39732c94e295ac29","datavalue":{"value":{"amount":"+0.7092598676681519","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":"Q865624$7B5CDDAB-8529-4747-B85A-BC186211E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a39d37c99244976053f5fc0e731793a39b590f","datavalue":{"value":{"entity-type":"item","numeric-id":5223617,"id":"Q5223617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178fcce1a25b4cc18ead42f091f329a9d5e69b40","datavalue":{"value":{"amount":"+0.7031345367431641","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":"Q865624$206F91A2-F687-4809-81BA-89D679488FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478e76b105b45592936f13a565af8a56fea36de1","datavalue":{"value":{"entity-type":"item","numeric-id":4362739,"id":"Q4362739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897dfc039461d3036c55f34f43645a99016763b5","datavalue":{"value":{"amount":"+0.689227819442749","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":"Q865624$C42D0037-1969-4965-B8BB-7D7DB72404AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5dbec7ef8a814676b413c4707ee8f96857448c","datavalue":{"value":{"amount":"+0.6851383447647095","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":"Q865624$ABF57DDB-0EF3-47C2-825B-C9DFD0324CF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Permutation rewriting and algorithmic verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Permutation_rewriting_and_algorithmic_verification"}}}}}