{"entities":{"Q4645241":{"pageid":6674822,"ns":120,"title":"Item:Q4645241","lastrevid":53315738,"modified":"2026-01-24T17:25:41Z","type":"item","id":"Q4645241","labels":{"en":{"language":"en","value":"T-string unification: unifying prefixes in non-classical proof methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999524"}},"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":"Q4645241$5D048EA0-FD22-42A7-8F70-8133ACF97BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c89963c14b6fa892b2164bb7d5526eed449f9135","datavalue":{"value":{"text":"T-string unification: Unifying prefixes in non-classical proof methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645241$AD77FA20-C532-4D95-8875-6DAFB025E2AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea76ee0ab6f4f539a319a5f1fc665332fac3ce1","datavalue":{"value":"1412.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$852EA6E8-2014-462F-99D8-619BB401C65D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faa323cca759d3645ac4e3f39bf596ca3cd67c98","datavalue":{"value":"10.1007/3-540-61208-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$D33A295D-7BF1-4F33-B0FD-5C2D50332F2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$6CC347BC-DA18-4750-BF0E-CD713A4D7314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$73F1D7CE-33BB-47B4-AE7D-FF92C0438D5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$A038BE65-CA54-4B14-BBAB-A8C7FE086E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645241$ADCE7DF1-C11A-4856-BC6F-85DFE5E68BD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$940EAB7B-85A5-4E34-ACC2-93B9B0910FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$0134C8C2-EC2A-48FD-AB2A-FDCE8436725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$19C4C6A9-5DE6-45CE-B5B7-0F5742EC245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$D18F1561-0A35-480A-87E0-8A86F52CF94B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54203de530169ff274d87ef9ce2f31408e285926","datavalue":{"value":"6999524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$6E04CDB1-BC75-4329-8443-F8B3CE6B5975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645241$C763B81C-8D29-42E6-8700-67A378D21FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dcaa9b517636db4bfc1834850c0c0f68998421","datavalue":{"value":"general unifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645241$E9134F49-20BE-459B-9AE6-E1C042851C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302ac378ac456914225e7a4d0cd4a07d6139e2bf","datavalue":{"value":"transformation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645241$6D76DEE7-E323-4C84-8FE9-18A88F0F8EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a59e9d1948bcb3be072d2977517cfc6b207456","datavalue":{"value":"atomic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645241$C9AE179B-62F2-48E1-BAD6-482500999A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36b7415bfbcc11483a33bbd401381c27d08bdd4","datavalue":{"value":"accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645241$A6026CC3-8C75-4D6C-AAAD-E5211131271B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$06F81431-E388-4086-B78C-2B7CAD541074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$BBAC7ADB-921E-43E1-8309-82CA686D9B9A","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":"Q4645241$27649590-175A-409F-AAB3-86B29C50B204","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8a55ea9b5785de3b36b30c2bb17d11fb9b6a8a","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645241$191F98F4-E08B-4743-8802-B61E7DA1850C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3776de53a5bf1d2526952f19d76aba860c3f8fc","datavalue":{"value":"W2134977256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645241$5481D9D1-77CC-4874-A3FB-7AAB9B974671","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$087D958B-17DD-498A-9E8D-1D50041893DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4259ba96907648c795d34036ee1d1e7daa76735","datavalue":{"value":{"entity-type":"item","numeric-id":5210812,"id":"Q5210812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$7BB60891-F220-4C06-8CD9-FF9CDEBC9504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$90AFBE5E-BAFD-4B55-87BB-BC2C51D86C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$42ED8B31-7A3D-4F29-92B5-94AC755056E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$95C76CEA-8285-4A37-8E9A-15C4489FA7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$78693C0A-DA53-4178-B148-B33966F87AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73c9c41e7bd80ba174992484270f6d083e8c606","datavalue":{"value":{"entity-type":"item","numeric-id":3207206,"id":"Q3207206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$F302CC1E-7E26-4E9B-A740-99E1404CEBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$C728F461-2E4F-46DD-A890-B4E8611CF58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$FD1AD4AA-1798-4CE5-B46B-F19AE0C9F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$1C06386B-6D7B-4F58-A7AD-831643435D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$9C817F62-6796-4F8C-A4F7-5BEF281880E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4ab424c7c716907b90b46a0a393fa512730584","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$8A8FCD2F-3E95-4C41-BB6C-B52AB47C6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$4491AD7F-FDD3-4739-A40C-965E8993320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63be331396b36d323bfc7cf3a6ba31d10a131670","datavalue":{"value":{"entity-type":"item","numeric-id":6488553,"id":"Q6488553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645241$150CA61E-EAAD-42B2-ACE0-E97A77037FBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16292e8e5c15d409fcf7fec82171c8f63c65f569","datavalue":{"value":{"entity-type":"item","numeric-id":3838764,"id":"Q3838764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827bdfc8ddc293b30809c01532de33d71dff4aa1","datavalue":{"value":{"amount":"+0.7373933792114258","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":"Q4645241$D9CE6560-3871-4B0D-A438-79666766EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebaa403d6b8f7ce57110ec025df3297d6f2620c","datavalue":{"value":{"amount":"+0.7284182906150818","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":"Q4645241$6449C75A-FABD-48BE-8416-1E44DD132180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531bc4ae3dd17503f84b03137871c2ebf042d07","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f6112f508625d93ab2f1c3b3d43bcf56d2532e","datavalue":{"value":{"amount":"+0.723153829574585","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":"Q4645241$E95E5747-8B32-43C5-B399-041F9C3435D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876fc47658897b3e7ed67f69e19833718a99bc16","datavalue":{"value":{"amount":"+0.7227693200111389","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":"Q4645241$9D990B4E-1790-4C32-A082-EE3868BD071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7db1b918008c293a5e360fa54f09bb24147cc28","datavalue":{"value":{"entity-type":"item","numeric-id":3450801,"id":"Q3450801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd24cfac3dea3031db28326df6e1afb5be5cdcb2","datavalue":{"value":{"amount":"+0.7207384705543518","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":"Q4645241$9330BB58-E417-488D-A48F-7C1A601D5F79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645241"}}}}}