{"entities":{"Q1729826":{"pageid":1740567,"ns":120,"title":"Item:Q1729826","lastrevid":71219178,"modified":"2026-04-13T20:37:58Z","type":"item","id":"Q1729826","labels":{"en":{"language":"en","value":"Towards a pseudoequational proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7031079"}},"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":"Q1729826$558AECE8-09F3-4410-B3AF-BBCD2EFC3A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"967aae0b7c50db78fee0206fbdcaa7894f11faad","datavalue":{"value":{"text":"Towards a pseudoequational proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1729826$65547F92-4488-4363-894A-1463BE0F4EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"000495bd54873f73846e47a9c8b1fa1e9dc445ed","datavalue":{"value":"1504.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$E8FB27F7-A5CA-4203-8479-361269B9E9B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"829a14bf4788f6910e61e4a6e99942a2888aab5c","datavalue":{"value":"10.4171/PM/2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$4EF439AD-8F01-44CC-80CB-F036D0B4D6B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$3FA862DF-ABE1-467E-B834-90AE30DDFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a477b26319b1b57c32a3bbee441c8117ab4fc0f","datavalue":{"value":{"entity-type":"item","numeric-id":444672,"id":"Q444672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$95C8C1F7-E0DD-4677-9020-BD0B3CD6E857","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$B7EF5082-9FFB-4769-885B-207FA9B30564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c04af62fc78139a00a55a9be2b6aec0ab8daab36","datavalue":{"value":{"time":"+2019-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1729826$7656FE48-441E-42FD-A63C-BA37AB5AAB11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9289ad738acc6c151eeda41cd80ffaff77cb24b","datavalue":{"value":"https://arxiv.org/abs/1708.09681","type":"string"},"datatype":"url"},"type":"statement","id":"Q1729826$C8C3F821-1CAF-4FCC-A5CF-C3D6AB8A5C5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c33cef2fc7871029d7d9ee8ac7e930d4cbffa1d","datavalue":{"value":"Summary: A new scheme for proving pseudoidentities from a given set \\(\\Sigma\\) of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when \\(\\Sigma\\) defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples for which the scheme is complete are given when \\(\\Sigma\\) defines a pseudovariety \\(\\mathrm V\\) which is \\(\\sigma\\)-reducible for the equation \\(x = y\\), provided \\(\\Sigma\\) is enough to prove a basis of identities for the variety of \\(\\sigma\\)-algebras generated by \\(\\mathrm V\\). This gives ample evidence in support of the conjecture that the proof scheme is complete in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$D0489051-8CDA-4C3A-AE94-A14C93FF92CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$EEAC5B8B-82D0-4071-9762-6D45B6B720BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$F84DEE65-F6B8-4B23-ADBC-2FFC5A933C57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907ee016a62f8e69b35a5a716ecfa58db0573e7d","datavalue":{"value":"7031079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$17B5557A-D7FE-4C48-9188-08D4B8536DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a61fd9619cd73a31f4be0b132cba001fe229de0","datavalue":{"value":"pseudoidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$E0675736-98ED-41B0-BA2A-2E9A409D32D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50078c70d6084060b5cdaf253ec8619db6e1e2a","datavalue":{"value":"syntactical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$64A0693A-2377-42D4-8BB2-0FBAE1F02825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$7EEE6A88-4E5C-4381-8E1D-C603546BBDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0c050a34b75a1c8b57fd10f9f8fd4e5abede9b","datavalue":{"value":"profinite monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$37E6961B-CB99-4F06-BB9A-148BA0C8CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$8202BD2F-D5D2-415F-A2EB-55F1D0E35CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4be8e924668a3925c717566287abc41ba165b0e","datavalue":{"value":"reducible pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$0ED621EC-92A2-4D87-ABD0-FE06AE3E79A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f19c01d8651d39af78a13e1d09d372bbc0a3e3c","datavalue":{"value":"implicit signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1729826$EABCCB67-635E-4830-AD39-C849F91A9083","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":"Q1729826$49D21517-63AB-489C-9C9A-00D2E01DF10B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db4df0813150dbd86d6001109f732b18d633ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3991569,"id":"Q3991569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$FC25C5D8-164A-4AAC-A650-D14A39173AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4972a13289719d53d890158dd1e722175bf98da","datavalue":{"value":{"entity-type":"item","numeric-id":4786248,"id":"Q4786248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$BC1D41F9-47ED-4B0E-BEC7-63C2D640917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf981e9961fe9bb3dcffe11fabdbe5b3b271e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":4407421,"id":"Q4407421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$7189A796-1227-454C-B910-95C265845F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc37b30bdae789bb35af7d70ef9b2601d7d24e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3365833,"id":"Q3365833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$26B57AD0-3F3C-4705-8720-C953EBF967B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4850fe9bb2fb1b6dbc5eee111f423434cd5a6f","datavalue":{"value":{"entity-type":"item","numeric-id":4608359,"id":"Q4608359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$9BABA19F-4F2E-43BF-9B4E-BA304D77A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b1d07a1326efad9927f98836ebefe9f44dc974","datavalue":{"value":{"entity-type":"item","numeric-id":814806,"id":"Q814806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$B7930763-A4FE-4656-8B0C-7297DF776B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b9469ecc79d0e59e0156a9a5f6532b8ee4c669","datavalue":{"value":{"entity-type":"item","numeric-id":2479751,"id":"Q2479751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$AEF0B3D3-9CC0-40E5-BAFB-33A4E659D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541863b392a099d33e25783ea729ceafd35be16b","datavalue":{"value":{"entity-type":"item","numeric-id":2940603,"id":"Q2940603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$716435E5-F687-45F7-AD35-ED7622D8A079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ba777d3cbbf8ae1fe594f36dde7f4d456e34f6","datavalue":{"value":{"entity-type":"item","numeric-id":2362748,"id":"Q2362748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$6EB2A8CF-0980-4352-AB23-882188400F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0274b9424605d5056672061d8fa7aef0654f143","datavalue":{"value":{"entity-type":"item","numeric-id":2413519,"id":"Q2413519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$E5A950B0-E8A5-4648-A7C1-7C5455D8C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff5c8cacd83ad6b7451a953232661ac875cd12","datavalue":{"value":{"entity-type":"item","numeric-id":4487602,"id":"Q4487602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$8D4CAAEB-AB51-4A12-AF75-6A64E07AA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289bbcf97a7af60a1c0e0ec0c5b9f65f1ac72a13","datavalue":{"value":{"entity-type":"item","numeric-id":4942266,"id":"Q4942266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$0B33DC52-289A-4C8D-86B5-99DE1112112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a41e4e43910a5c3f2150cbc6e13d1ca4ef73e36","datavalue":{"value":{"entity-type":"item","numeric-id":2730741,"id":"Q2730741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$E3357733-0690-410F-9D2A-BD0452CE7DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0da9c40c01ce8529115e079d019b21cf590cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5483459,"id":"Q5483459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$9E234927-1E84-4BC5-A704-E0DBD44F4790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990c49199a1373744910c92f84c277fb81490547","datavalue":{"value":{"entity-type":"item","numeric-id":868948,"id":"Q868948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$89158581-0E9E-4F13-B9A4-2F9599E44339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$B3154858-1D53-4923-BE9C-6DA5658402C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$9AA56DBD-DF6A-4489-BD0F-CC192687DAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$96E664A4-AC62-41B7-B49B-2732FB6F8AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2a798f22a121a6c8b542b0fb18a2e8a265421a","datavalue":{"value":{"entity-type":"item","numeric-id":935166,"id":"Q935166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$299642FA-1A70-485C-A409-99B44F8191BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397b69eea5d7170b3ea27aa5f43fd2bcd002bc70","datavalue":{"value":{"entity-type":"item","numeric-id":3636027,"id":"Q3636027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$CFC71097-CF60-46C0-ADAB-01F74EA3A9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da310e66bfb4d58d1027c955ac07ab51350730cc","datavalue":{"value":{"entity-type":"item","numeric-id":2799118,"id":"Q2799118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$2C3AC9E4-E9F1-4454-ADA6-F39B185FC77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfea9be167e0c4468bf73f6172a6b8111da54787","datavalue":{"value":{"entity-type":"item","numeric-id":4658703,"id":"Q4658703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$E4D20E3A-B196-4E45-BBEE-452A90821668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f48bd79896c6a48c345d09803155e0872aa04a2","datavalue":{"value":{"entity-type":"item","numeric-id":2973338,"id":"Q2973338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$EC95166A-0A47-4EE8-8712-D4EA34130CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$E846428F-6153-4D18-A9C6-821B9A117DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de840207ef12d35e5596885c4b64620446878d6c","datavalue":{"value":{"entity-type":"item","numeric-id":1824040,"id":"Q1824040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$A09FEE43-DE06-4566-BB01-A314363D6A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ac25fa3b5ed386c53bf69695ed8f2538bde20c","datavalue":{"value":{"entity-type":"item","numeric-id":3561123,"id":"Q3561123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$36318A7B-72DE-4CF1-BDA3-5811E5DDF795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$FF7E02D8-5DBC-4B4C-8377-CF292A3081C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ec1419779d1d3ed53e5b637f044b3bba194902","datavalue":{"value":{"entity-type":"item","numeric-id":796662,"id":"Q796662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$ED973BAB-C8E7-4482-8EFB-1AD6BFA55BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e606782c4d7147bd72473950f86a7ffa11efb362","datavalue":{"value":{"entity-type":"item","numeric-id":4786300,"id":"Q4786300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$5CF4E148-D307-4C0D-8779-E390BADDBD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf6a92203ebc49eb576eabb70ce82d23e3c5625","datavalue":{"value":{"entity-type":"item","numeric-id":2538217,"id":"Q2538217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$12C3F3F5-F41E-4320-B800-3CB276754F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57563327bae80ae38a870f40e8a977ebf247e8f","datavalue":{"value":{"entity-type":"item","numeric-id":581547,"id":"Q581547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$B0151800-18A1-4F9D-AAE5-745C361A10AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$A92750E7-5C26-4149-A0E7-2D1BA10451EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$F3A63719-F969-4E6E-98DD-D3D6233BCC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad8643cf2a646d0d700aa2cdb427a9790787a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302760,"id":"Q5302760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$71B70ACB-DF9A-468D-92C8-C15DABD60851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85a48854397b6f5335e93c6dcd3c315b5cf05d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490702,"id":"Q4490702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$365B117A-4B6C-447C-9AA2-A823A51FE0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$AB151C41-6611-4938-8BB1-7AE352275EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7902ebc15d16be0851060174512e928b188010e2","datavalue":{"value":{"entity-type":"item","numeric-id":4704548,"id":"Q4704548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1729826$78EFFA77-21B2-4B37-B41A-7F84F92F81AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fa19c0838e6c17eca2456575fedb3d998af9ae5","datavalue":{"value":"W3099902352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$3B759976-AEBE-433D-9045-A8986890009C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f7f1ba7f68277c4a49e583bc8ea8c6ae6e64c33","datavalue":{"value":"Q128754047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1729826$08DA832C-9B50-4DBD-B239-F0C965DDA1F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3799f9a035b2524c5e2c0bdde0ff2805864af0e8","datavalue":{"value":{"entity-type":"item","numeric-id":751686,"id":"Q751686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d1b05a97f0407966f01124e359ec1c63320391","datavalue":{"value":{"amount":"+0.7540822625160217","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":"Q1729826$B827FA34-87D5-43B1-B25A-EC087BE90685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9e39fcdb8f6cf6ec52de2d9ee6cab552d91168","datavalue":{"value":{"entity-type":"item","numeric-id":2479751,"id":"Q2479751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c621e9a5799464b579639875edea38e11e726c","datavalue":{"value":{"amount":"+0.7376599907875061","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":"Q1729826$D9D6320F-A3EF-4522-815A-BF3A7F471316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a86e66ac391fff35db9e202086837d278d20717","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd8128d871dfa4a57c8357e5118209d4ba795b","datavalue":{"value":{"amount":"+0.7368056774139404","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":"Q1729826$46E533FC-39C9-4446-9060-7DE20645A72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351995d22862f1b704af99e1f814fde001d85cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2730741,"id":"Q2730741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd8128d871dfa4a57c8357e5118209d4ba795b","datavalue":{"value":{"amount":"+0.7368056774139404","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":"Q1729826$A8D46671-5490-4163-A785-4D00E5F1EA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13640098c8fbc8e6943b1bebe7daa70af1c2a0f0","datavalue":{"value":{"entity-type":"item","numeric-id":1771892,"id":"Q1771892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d66c127a873c1a3aa5db3122224d96d64913773","datavalue":{"value":{"amount":"+0.736677348613739","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":"Q1729826$1AD2BF70-689E-4852-B727-06E58CFE9A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a pseudoequational proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_pseudoequational_proof_theory"}}}}}