{"entities":{"Q5278212":{"pageid":7307787,"ns":120,"title":"Item:Q5278212","lastrevid":58518360,"modified":"2026-04-05T13:53:11Z","type":"item","id":"Q5278212","labels":{"en":{"language":"en","value":"Verifying procedural programs via constrained rewriting induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744626"}},"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":"Q5278212$68E00B00-0CF9-44A5-8CEC-43DFA8C8C760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a80eb13cc42a29bbe515e5550c343e232e76c94","datavalue":{"value":{"text":"Verifying Procedural Programs via Constrained Rewriting Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5278212$7AD72C46-2CE5-4BAF-B01B-342EEC2FA84D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc8b49deafae7ce14253d5ea8cefd20a7de98579","datavalue":{"value":"1367.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$E5DBBC78-6203-41E9-9E2D-9BA19F2D87C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6db4ce5156e704e3cfb73c97732c0e100fcf3d0","datavalue":{"value":"10.1145/3060143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$CE1793FA-922C-4E68-A585-625F799BC6D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$A18CEF43-01DF-431C-9B7C-CA8EE33D93E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$916FBBD6-0986-4780-89A8-9A27FFAB3114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$87B950C5-D913-4101-8C95-D33FC42B9BE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$B42491CF-7409-46E7-AB20-84C75015B903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278212$32AE705F-41DE-4EDE-9D13-536ED75F226D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ffa8977f466c3f0ec7097bc74276eee282fada2","datavalue":{"value":"https://arxiv.org/abs/1409.0166","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278212$5BC9FCE7-43F1-47CF-B141-B4596DDF97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f330a55e6039357f296466cba197a9b41bc9671c","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/18657/1/tocl-equivalence.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278212$8BFE4141-DE85-43EF-84A3-DBF7F959423B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$574A10B7-549D-4599-9CF2-9378733E917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$E24D66E0-7DA2-4375-B8B7-3B8F8792F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$678784A0-BCAA-4A5A-8366-BEC7452715A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6faf3b409efbfb0f66889ca9d1deadd8f2b218d9","datavalue":{"value":"6744626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$4CB84516-88E2-45F4-9669-58B3A82D9A67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750b1a30650112a8817d170a1cb4b66fa8b0c2f5","datavalue":{"value":"constrained term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278212$F46CAD0A-9376-4F1C-B4F5-7F9232016C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278212$03A2BC7A-5B12-44F8-8572-F4D73FA37AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e8523755c629936b223c108cd9b934e50817c8","datavalue":{"value":"lemma generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278212$767FDC85-9479-4CD3-9229-AE932E4A2150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278212$EA377BEB-2A18-41CB-AAB6-C127E317AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9e93fa9e1d4c3ae05e385d0fd1124a337060a2","datavalue":{"value":"rewriting induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278212$DF1678BE-4A89-4CED-9E62-FF2C38226916","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$0B7805FE-8869-4C25-BEA4-8467225E3D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$F4F8F976-52C0-4691-89C2-7AD75514878D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$A50900FD-6102-499A-B3C5-67CC13B19282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e52735493c96056a5f9fc9d0bd08503ea2205783","datavalue":{"value":{"entity-type":"item","numeric-id":28906,"id":"Q28906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$8AE3E9E1-A9F3-408D-95CF-7524472B0244","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":"Q5278212$711A8D73-D207-40FB-BFE5-35B238CDAC87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a5f0e05689c336c9c77b85fa9633a761138334","datavalue":{"value":"W2964206513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278212$CAE9EBFB-2DE8-482B-A2C5-80DE86F54BAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$29CD9311-6969-4B93-A60A-0C0C464690C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffc41c294ecae2ed97c52912859e8a411b26004","datavalue":{"value":{"entity-type":"item","numeric-id":3430663,"id":"Q3430663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$068A67B4-E59C-4D30-86C4-2B20E6E4F5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28ce065a492e192f300a4c25b3939254c4181ea","datavalue":{"value":{"entity-type":"item","numeric-id":1134540,"id":"Q1134540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$3F3A6FF7-9B1F-43E4-809F-13CC4CA405B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$DFE02979-5D9C-4145-9CE0-09D8EAB78B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$687089CB-6981-4A18-99C9-A46CF71E27D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c7366d3e0a05348da771f065bba9932f8ccf78","datavalue":{"value":{"entity-type":"item","numeric-id":4264732,"id":"Q4264732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$C6F7B830-1F29-4649-9B34-0B3FA2DC7A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$AA13FA3A-A2B6-4353-96B4-6EE9F002D110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1541e165f8da97eb3fd7ff658d64b7ee02aeca1","datavalue":{"value":{"entity-type":"item","numeric-id":3541728,"id":"Q3541728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$BC8CEB48-AEFF-4D01-979C-67C574476876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$D073918D-90A9-435E-9DC1-9EAFA0F9B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$00808A30-7500-4509-88FC-89C65709117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$A52CB861-D230-45EC-B1A2-3524001FDC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643d723a730b8674f4bc858209c84f2cde705d36","datavalue":{"value":{"entity-type":"item","numeric-id":5170162,"id":"Q5170162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$F650C43C-00E9-437D-80D3-AE75DD133349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fc6b88e47fd7f5092bb0901e556a196fd1165","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$C3DD051A-D010-42E5-A620-D3B714A23191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545e84922746d70096356bb35e502dc298bed20","datavalue":{"value":{"entity-type":"item","numeric-id":2908496,"id":"Q2908496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$795FE2A0-D08F-4A5D-8C56-31EF9F409B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$64D9A6CD-3FD0-4FFD-BCAD-97D02FD37A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced3b913b09e86cfeb91f326a2ba44ffdb3909db","datavalue":{"value":{"entity-type":"item","numeric-id":3636817,"id":"Q3636817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$E55CE9FD-6748-44BF-AE23-DD71E806EE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98eda8f45b8262bf124d4a209118a0283a66291b","datavalue":{"value":{"entity-type":"item","numeric-id":2398169,"id":"Q2398169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$DE217F4B-E4B4-4548-9D84-AFEDA47F9597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72858127c3766311be02a4741d5397f99a0df93e","datavalue":{"value":{"entity-type":"item","numeric-id":882487,"id":"Q882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$EDE1D5F2-F6B1-449E-B811-84C99F91C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$0C0A8836-6279-433D-A472-07D21739801B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a48764237338ee604e8dfa5fbae12cdfeba5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$AD1A4CB9-E519-49FC-A69F-7089E616BEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a9f68ffc0e71e7984b9c43c61a46d7027f03","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$387B242A-CA93-4320-A56A-7CF4E1033CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$7422986D-B496-45F6-A73C-6748BBA2F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$72C89BEA-D126-4A32-82C5-DFB6E51D8D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$4B8DDB12-FB5E-4E8A-9CEA-EF88807BEAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3198eacfa077a2cc66b6cdb2fd25eda21b260af","datavalue":{"value":{"entity-type":"item","numeric-id":3559764,"id":"Q3559764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$8C06958D-CDCA-4762-B774-48986DC1D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$65B6C7F4-C34D-4181-B73B-958E90954706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c95d05edf977cf87ef10bdb5ef90eedb5acc67","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$1C3746D7-B69D-4D56-A785-15449FB0FD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401927881e41fc37b8317fd7b28f5bd64001daf","datavalue":{"value":{"entity-type":"item","numeric-id":3460083,"id":"Q3460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$5ABE7FD0-70AD-4785-BA77-6EBAB8EE2613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$EA4235E4-082B-45E8-BA43-0ADAFD60C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$44C2E6D6-6F6F-4762-B6F0-B5A516721C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$329CE138-1297-4349-8E15-D4009B8CEAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67053ec95ed7741c50f679c98cd35b13a8275355","datavalue":{"value":{"entity-type":"item","numeric-id":5200103,"id":"Q5200103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$843D367E-C0A2-4D07-B36F-4111BE5FBFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$5772D0B9-BE0E-40BE-85EE-EE28470F7FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba641cd545c9bb041472b623ef1413f763125ed","datavalue":{"value":{"entity-type":"item","numeric-id":1882908,"id":"Q1882908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$969B7EBA-5EB6-4863-86C5-204D0C7784F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2ecb01d1000f707b2d4e9dd305373c58ecfc0c","datavalue":{"value":{"entity-type":"item","numeric-id":3636883,"id":"Q3636883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$7DB488FA-52F5-41BB-B596-9324D437F629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2630274fd0aa6c09d6e94a54ba583d422653bc75","datavalue":{"value":{"entity-type":"item","numeric-id":4386948,"id":"Q4386948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278212$BBD5CFF9-26A9-4F9D-A703-ACDFB37D9503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28130594f5693826e9dcf9b4195d7ff11f26a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5777b5812fd6b4dbea01a9c1face33db2c7222ca","datavalue":{"value":{"amount":"+0.9446539282798768","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":"Q5278212$F894B2A0-3B5B-4749-B892-B1D1570D1589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0819b186416b35d89d01928d0cc0026447129d6f","datavalue":{"value":{"amount":"+0.7684451937675476","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":"Q5278212$AEC23677-699D-4DBF-85B0-89165AFE35B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7abfaefcad284b3c45d58b91acbf2fd8060747d","datavalue":{"value":{"amount":"+0.7622310519218445","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":"Q5278212$DE4D647E-D2C4-4655-93F8-9017539D2A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d75c6cae7c9500868de3d496330a4a787654bab","datavalue":{"value":{"amount":"+0.7567117214202881","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":"Q5278212$00347997-4FA3-4267-A41B-A5A1997334E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a1bd43b1fbd9234e7bbb54fa9590ee50a5e6f8","datavalue":{"value":{"amount":"+0.747070848941803","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":"Q5278212$6DDEEAB4-7B7A-444E-9F31-1FAB8D019EDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278212"}}}}}