{"entities":{"Q6854432":{"pageid":20623234,"ns":120,"title":"Item:Q6854432","lastrevid":84263006,"modified":"2026-05-14T08:59:28Z","type":"item","id":"Q6854432","labels":{"en":{"language":"en","value":"Certifying the weighted path order (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163116"}},"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":"Q6854432$A8FCB51C-A861-4B89-B0D2-4799754FDC33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"841180624d47379a477f58ec42a7e2bb17245c0a","datavalue":{"value":{"text":"Certifying the weighted path order (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854432$85B33595-F0B1-420B-B4D6-EEE2E0EBBEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36d17410c27ba90af1ec6b48eb84d2136453a36f","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854432$9E70D2FC-E4F8-46A2-8761-AFBCA6A5A5C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$66C062FA-F4DA-4264-9D06-3FFFBCAE77FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76908a96dd9a93ab0d464108cd942f4efb1dbe42","datavalue":{"value":{"entity-type":"item","numeric-id":1791186,"id":"Q1791186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$7A012FED-6889-47D2-8AC6-06658BBD40BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$E6BF46B9-1FD3-4D5A-943A-4D6C529A519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$5A3F4F13-B7D7-4EEE-9DD2-00632D948788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854432$68CB1DBD-B1CA-47F0-9648-135C5F1D899D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854432$F50F7B07-4C07-408C-89DD-E95A3A32CE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854432$85864ECF-3CDF-4C0B-AC5C-CEB3A027AF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854432$2906B7A1-EBDB-4A26-A088-AB2BA9BC830E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e78713b50bc13a765ef1331052460bb35cc58862","datavalue":{"value":"8163116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854432$05EA910F-A3BB-429E-967B-4A354153D505","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$D94F33EF-7916-4863-A5BD-3CC3B984B1F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854432$918EDDDD-C969-4A73-9C5E-0C86E67F2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854432$7A3BD5DE-6DC8-4D41-B14A-BBB44797CE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feb2221955a0154e42ddf0a133780088caad5dc3","datavalue":{"value":"reduction order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854432$D7482845-BDC5-48C2-8A2E-AB13A2D8C813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854432$818AD9C0-B935-4EC8-85E5-DFC820C775CD","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":"Q6854432$03879221-6A02-4709-8251-0D626AA24927","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$51DEE2B0-90F5-421E-814F-8EE92A5D57A3","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":"Q6854432$6A1B398C-BC9A-4780-B1E1-5145EB493A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$E6E14187-5F7B-4C98-84B7-0E21464B3525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfff23f9499e89b3973add75878139e084d48a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$A0AD88B8-96E6-4828-B3C2-929FB10DB9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$78BD98FA-64AB-468D-AB7D-5DDD8A9A57A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$CF6D6560-FEDC-44D2-8FFD-B655525BB9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d00b35f232d2dd990991a49054d0469608c1eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2405269,"id":"Q2405269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$21217C17-7348-4227-8ADF-5380E9FCD80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdad75be26f92322fba2c4fc34166d0428ef05f5","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$38AAB048-8212-4B99-9A36-5A5737A631D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$A4C9F9F2-B39F-4B43-8639-2C95AACC9EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$0DF85646-D2E3-461D-862E-10B3E5CE3E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$C21FAB1C-0B2E-43C8-B75D-80766158E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$8AE7E94F-D966-485B-A6E3-276DA2B38ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$E9A4011A-0695-47AE-AABE-419F8047ECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$D58ED37C-BA7B-4619-8C48-96F107715EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$1C42D026-D323-4BF5-87D2-4AAC25D11C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$08A5D9AE-4283-44AB-8878-CC551FE3AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$735319AB-1B37-4B58-9E4C-848ACE5BE85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$CED0F19E-6258-49DE-94C6-8376FDD81C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1049bfaaec537d06376da08751517933a39b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4447241,"id":"Q4447241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$2E9BF993-A71E-4272-AAB1-2665CC600391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3d7dfc55facbac01d8f787937a9b2b168b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5464701,"id":"Q5464701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$54A564AD-DCC1-4B3F-A185-FCC7C7684039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5fea9c32bc25548f749a61f681c9e188d809b3","datavalue":{"value":{"entity-type":"item","numeric-id":352959,"id":"Q352959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$930E18E9-FC58-4ECA-8FB1-4B66A3CA97F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3677a56d4913fa5cf60e0532cd26d43b96e8b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":1662244,"id":"Q1662244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$52BB5B14-4957-4413-BC1F-DC25FFC7CCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$A56B1413-711F-4118-A8FA-D5DD3BD54080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$E918CAB1-7A20-4D98-9B17-43F6ECBEBFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$BAE9DC3F-D13C-4FBE-A4EF-90F0F21D80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$E090FA3F-EBE6-40D1-8088-A789160F29D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$BBDD2829-A43E-492B-9F3B-70F9361FB97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c634472f975b5d12e88f620a7e997a19099048d6","datavalue":{"value":{"entity-type":"item","numeric-id":3172898,"id":"Q3172898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$ADCE2590-8A82-4392-84F3-FD2B1DC1CF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a03213b095a350f4bf2d8dc4d804066ee4390f","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$EEEA84DF-B53D-4288-8FBE-C89FF560A8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44d24e1be77a46e089f7f9a60afc3773717133f","datavalue":{"value":{"entity-type":"item","numeric-id":5170835,"id":"Q5170835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$F24E3B63-2EAF-4A4D-9D03-95BD7AB5EC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96e133a35c555fa8249c25d28e09777c5d09fe","datavalue":{"value":{"entity-type":"item","numeric-id":6091333,"id":"Q6091333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$2D97F837-AEBF-49BB-81D5-C0A143FC7D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8191cf0bfbb217d8b509ce0cb8681f64b916ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5111915,"id":"Q5111915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$9CD9DDDB-30E7-4A15-8F3C-98771354A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$8D8153B5-6AAF-4D79-A438-6E91E5834604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$14A1D1FA-92B3-45AB-BE7F-507FE866062A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315fdba4d6814f7d1aad814689d11cc07946b461","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$0A846112-BEE0-4311-B54F-0F3487DCDFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025e7dc02d4e4f5dfb3bd0f5cf257682bb9b6bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5448809,"id":"Q5448809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$5DE2DE9B-AB91-470E-8E8E-AA1E5C9D2388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77128970ef1ae7664b1eef0de5f0b57e43899ac","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$1CC18A69-8C9E-400E-A794-05EAD2587703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$DD063345-2162-4B2C-B952-811E5750FA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854432$FA0A53FE-F9FB-4CD8-995C-28E4C79B0D6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying the weighted path order (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_the_weighted_path_order_(invited_talk)"}}}}}