{"entities":{"Q6869949":{"pageid":20716285,"ns":120,"title":"Item:Q6869949","lastrevid":84234116,"modified":"2026-05-14T00:22:32Z","type":"item","id":"Q6869949","labels":{"en":{"language":"en","value":"Simplified and verified: a second look at a proof-producing union-find algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149356"}},"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":"Q6869949$C6C0053D-62A2-486A-9D4A-B2EA1A01B636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"473799249af9ab61f0cbfefb770ed5d31830400f","datavalue":{"value":{"text":"Simplified and verified: a second look at a proof-producing union-find algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869949$8A7BD618-54E1-49B5-BC91-2B8C7D6A381C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25f79d970f315e7911096ccde8dd91519330457c","datavalue":{"value":"10.1007/978-3-031-99984-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869949$744DB8D3-3B39-42FA-B1AE-1D719DF30709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df9e99a8d3ca3fe964f70b9fb2cabb2b706a85d","datavalue":{"value":{"entity-type":"item","numeric-id":2147185,"id":"Q2147185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$CA84B33B-8342-4E5D-A5C7-8E474BF6E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a608bfb077091f250d762febcaa05afbb7412ba","datavalue":{"value":{"entity-type":"item","numeric-id":6869948,"id":"Q6869948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$60B69B64-4F71-4749-B052-39C1E8CDA57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-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":"Q6869949$9100E900-9EDE-44A3-9B10-FB73DD3C5A56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869949$CD42E79A-0E6E-4616-8499-83141EAB3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869949$4D2AEAB0-6949-4085-8AB9-C28DFA9A6387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869949$DF25C3ED-6EC9-4FBC-A655-411590A08505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b132aaf5a58c5e4ba70b7021a27aaa8236ce7bd","datavalue":{"value":"8149356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869949$99DAE00D-BB1D-4B18-8FD9-F4AD376292BB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$83BE1FE0-4074-4386-BB6A-971E89429F43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb2fa4ca50abbd47b2d4e177758ce8059703ad0","datavalue":{"value":"equivalence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869949$04F2AEEA-1BFB-4C6C-BA5F-2A312732BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869949$F44D7C3D-638C-495C-B46F-F4B6D15E0C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869949$4961E1DB-16D0-409F-8CB7-D9E6BEA3FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1072d45e81dd58e6b8fdf20e36308aedb2d0a0","datavalue":{"value":"proof-producing decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869949$5F3A9E81-B865-491F-AB8B-059BDF986B47","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":"Q6869949$FDFEF32D-8187-4967-A666-E28DE8120DEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$09890CCC-136A-4071-A80B-7C5B28EB6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$9C853C13-6ABE-400C-BF22-36AF43F04190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$0A9ABE2A-5C62-45F8-BD17-E55A47DB20AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$26999642-F023-4078-A9D8-FCFD109D5DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8f0b4240ad43b4400a2b1a7057f13444b1e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5337563,"id":"Q5337563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$15EFB3F5-50FB-4504-ACEA-C7919268F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e5c0dfc7e88ab399409f5268fee9cebac424c","datavalue":{"value":{"entity-type":"item","numeric-id":5098718,"id":"Q5098718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$6D7D593D-27C7-401E-AB15-F939C63F947B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f80a009c7aa3c58bb283441470b5a53aa55f5a","datavalue":{"value":{"entity-type":"item","numeric-id":5875428,"id":"Q5875428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$1B718309-05FD-46A5-A0C6-FC67C2FC9DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$53FDBF0E-2F21-4402-A103-34BB5D60160A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c35c3c18100f10a76a9ef0d730325b542a65e7","datavalue":{"value":{"entity-type":"item","numeric-id":115238,"id":"Q115238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$1C014CC2-3942-4F2A-BE6E-CE8D5AFB0221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$786C2FD7-6BFE-4FC1-A5EA-48CF0C2B3E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$5C998DCB-D043-4EFC-8FF4-381FFAFF5BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$691B074E-A74A-4589-93B5-3CC32147F28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5791c716254aa1932faf4df96272562ac819ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$0E5F4E91-CD85-4540-BC0C-C2D69F378D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$FF71DAF5-F0C0-4D84-A380-091D3CD9E0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c034c700c303a405e1980322ae23b34af9a2e5c1","datavalue":{"value":{"entity-type":"item","numeric-id":6485853,"id":"Q6485853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$2B31FDC4-F9DC-4F9A-83C5-D33D2C5D2A6E","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":"Q6869949$D081D97A-3447-45E8-A51B-3D77812E0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$220CE40D-FD2D-4A61-9D75-4DA5FDDFA889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$09BB6388-1728-47A5-95F5-32E94965CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bc3ee55e8a14ff4371b711c501254aacc8c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":2147186,"id":"Q2147186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$89B8E06E-43C2-4904-8231-F7A4E79C58A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$CC8D5CA2-6F23-4714-9114-B53F3E020536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9366c82f8a71633f567b778add8be59a85724d","datavalue":{"value":{"entity-type":"item","numeric-id":3769963,"id":"Q3769963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869949$E148082F-A8DE-405F-8B6F-0714EF15CA90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified and verified: a second look at a proof-producing union-find algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplified_and_verified:_a_second_look_at_a_proof-producing_union-find_algorithm"}}}}}