{"entities":{"Q4645812":{"pageid":6675393,"ns":120,"title":"Item:Q4645812","lastrevid":53316989,"modified":"2026-01-24T17:31:20Z","type":"item","id":"Q4645812","labels":{"en":{"language":"en","value":"Two \\textit{different} strong normalization proofs?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000090"}},"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":"Q4645812$26B84C55-1538-48AF-BEF2-23C8B396E4AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03e85f2c003dcad288b8e1f60750301d544a932a","datavalue":{"value":{"text":"Two different strong normalization proofs?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645812$5DB9A425-749C-418B-8640-CA0264321C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42ab5f28c12e84979229a6f0ce1dc74884dafb94","datavalue":{"value":"1434.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$1CA4D1A6-5ECC-43C3-9D9E-F0EDB1AF4EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e86725902758123739f67bcb766e312a61795d","datavalue":{"value":"10.1007/3-540-61254-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$9C921E63-00DA-4C72-AEF6-90BA409EA849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$3B1C994C-B4D1-4F77-8224-EF785F7657BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$033EAC26-E00E-4337-9A04-2AA3BD3E77B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645812$46F3CBEF-D8B1-40D8-AE6D-29758EC25021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$BCC01EAF-5A99-4873-9D84-27323A31F48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$5925023D-8197-443A-89F9-F1B1B0152904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$1E5F0A24-BF00-4636-BD9F-7AC8FF3C2EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$44BB5F0A-1234-42C3-B255-DDD3D8B686DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0634776450b243b0fc7d01fa165c22d72ab15f05","datavalue":{"value":"7000090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$455AAC78-A1A3-4A42-A7EB-5C8E44247F9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645812$20CB1F07-ADA4-40ED-A066-254D20E60354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d2c9ee4520783d518b2187c1644fbf4e579a11","datavalue":{"value":"finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645812$2E888B28-3E8B-47F8-A71A-26475D710C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645812$B07AEF4D-9F15-4FAF-B9A1-90CE22099874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec8f33574d0edafcbe4613eeae9c524663bf608","datavalue":{"value":"reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645812$FC0FA8AF-3609-4655-ACF2-73D4F9C53C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645812$A7CABD3F-246D-46AC-83EF-7FBF2008D412","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":"Q4645812$CF0E6DCC-9C0E-4E9B-B4F6-BC8AD7E79407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e4bc236d708f39e8c003dca3505fe62821ee63a","datavalue":{"value":"https://doi.org/10.1007/3-540-61254-8_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645812$B101A58E-244A-4A41-87E1-9F1BA29E67DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b0005e1fa6974e9e9c8bc89bfa495fd76c186f","datavalue":{"value":"W2111361742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645812$A466BCBF-025D-4506-9CDB-A86040119EF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$C6BDFE04-89DF-41DF-A185-149C346726EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$C2C8551B-7C6F-4D03-9D05-9898AC9BF682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$7575B22E-74AB-48FF-8E44-2FE37BF497F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$BE951915-B8CE-4AAC-90F2-EAE7F2152952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$D1FFA240-612D-4F92-A884-258DCD172E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$71CD2AAD-ECBE-4B9B-B1FD-EB2365E66D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$9E20D565-0650-4A5A-8D23-3F6868039B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$F5E22BB7-1E59-40E6-AA44-9E409FE3C3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48965ba9838c243ac9e14113ff88b4186bfc30a6","datavalue":{"value":{"entity-type":"item","numeric-id":3783265,"id":"Q3783265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645812$36BF6932-40CC-49F1-8A61-AF40D2237FA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65363fc027e75cbe79eb5e6ba810400f6824c726","datavalue":{"value":{"entity-type":"item","numeric-id":3783265,"id":"Q3783265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1b252d1bd19f97e770acc91c9ad63dbc546d4d","datavalue":{"value":{"amount":"+0.8356949687004089","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":"Q4645812$35F30A20-CCE1-43F7-B295-64BC5CBFCF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c39ff1703fa649627f769e20a60cac8c6f394b","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e277eb31f6e2e44e278973177060859ae47d28e","datavalue":{"value":{"amount":"+0.8354464769363403","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":"Q4645812$834F4DF5-3506-431D-B6C2-74AD1EE5D789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bddae59653a1d3ed8fd5fe3ab91bd959e5efd41","datavalue":{"value":{"entity-type":"item","numeric-id":2852349,"id":"Q2852349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dc744f17613da82005da3e5bbcd9228357ce51","datavalue":{"value":{"amount":"+0.810782253742218","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":"Q4645812$DC5A6939-CDB2-4C9B-B154-5423F2569445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd90d0a99c34891f4e01f68359adbf7aa054ae66","datavalue":{"value":{"amount":"+0.8054096698760986","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":"Q4645812$7EFACBE5-163F-45FE-95CE-F9C0B1CF8052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11a1210fbc388975d2c306dcac20ebc18d71c5a","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19de340d2e4dfe6dc962ff665369557da6b2d0f","datavalue":{"value":{"amount":"+0.8048486113548279","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":"Q4645812$1DFC4A09-6691-49C9-A452-8692057C1990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645812"}}}}}