{"entities":{"Q6541148":{"pageid":14152291,"ns":120,"title":"Item:Q6541148","lastrevid":57344802,"modified":"2026-03-30T14:10:32Z","type":"item","id":"Q6541148","labels":{"en":{"language":"en","value":"Towards proof-theoretic formulation of the general theory of term-forming operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850742"}},"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":"Q6541148$126A5C75-6750-44AC-8FE3-AFDC4F870A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bf52580d6b20191c494d453eba42944c8cbc38c","datavalue":{"value":{"text":"Towards proof-theoretic formulation of the general theory of term-forming operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541148$6B11CE6D-5302-407A-BBA5-C934821269E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa09e23c15aae67a3f57a5a7674bb86b9ac34172","datavalue":{"value":"10.1007/978-3-031-43513-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541148$45D92ED7-4FD6-49D5-914B-5994596EC51B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$1C4BCD1D-C9DE-4A91-977C-0574B0C5C40D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541148$0E8EC887-F45F-4E09-A95E-234A09EA8AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541148$75C76379-BFD3-42D4-B05E-69799E3CFE3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"525c402a11ef0942ca4890bd830284751889bff8","datavalue":{"value":"7850742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541148$49075E58-F672-4D1E-B659-AA4B0E891038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1295fe96282d3e7fcc26c21b6c64f526ff8a5a24","datavalue":{"value":"term-forming operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541148$E1C39887-3031-4433-A29A-D7C605F006D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c70528bb40836605a9c9a8fa67ffe405ad0bde","datavalue":{"value":"abstraction operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541148$F3155885-D8D7-48B4-9F4E-D5C3C15840FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541148$21163ECC-2995-444B-BA36-41BB3693B76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541148$4EEE99F0-75BE-4282-B64D-1DD1FC8216DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083d5ad7127906540550ea0bfe854ecf0c0914b3","datavalue":{"value":"Quine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541148$DE1B8C6A-83C7-4BD9-93BE-C688C4F5BF31","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":"Q6541148$15E54853-62D3-4B73-BF90-592041BFABF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e585fc92604b79c9f7c626771eda8bbcde1614","datavalue":{"value":{"entity-type":"item","numeric-id":5650665,"id":"Q5650665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$7D50C024-8E7A-461C-8CD3-728B9D88C7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361ee315001f9a9481bb17b7453d549ec421643b","datavalue":{"value":{"entity-type":"item","numeric-id":5672866,"id":"Q5672866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$E1AFF0F3-E6D2-4CFB-86B5-7AA61911ECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee65b5656af599919f311c8ecdd5543f7444836","datavalue":{"value":{"entity-type":"item","numeric-id":3858249,"id":"Q3858249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$3778853E-5ECB-4119-96A6-93489ECD7BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$83C655A9-CDCA-450B-A386-CCA6641F5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb435d0732185425675d3fd370e2b7e2606a86bf","datavalue":{"value":{"entity-type":"item","numeric-id":5825660,"id":"Q5825660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$C2147B94-E5D9-4A4F-A592-35709BFFB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ba3ea96d89c1181d699d16adfb5d07cea2af8e","datavalue":{"value":{"entity-type":"item","numeric-id":5585364,"id":"Q5585364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$2C9F88B8-A429-45A5-A2F1-3735431E9629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25a738f1ae81498c7ab556280d1bceb30630674","datavalue":{"value":{"entity-type":"item","numeric-id":4739887,"id":"Q4739887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$D82A1F70-5126-4641-9E57-232CCAB4A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ec67f33523fd16e5ef1daca8ca20ac629a929c","datavalue":{"value":{"entity-type":"item","numeric-id":4289237,"id":"Q4289237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$A1BD98A2-DC0B-4D6E-9DB8-257CF0E9C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d348e5c75cee0cfd5314db0cd35ffc0369fac6","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$784DC199-EF17-489D-8B14-F890986FBA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b0a38c811ddc7b609d98f221aa37397909d9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5104714,"id":"Q5104714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$1CFC0CB3-8EB1-41E2-AAC0-20BF5572E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986fac859eb3fb4401f27996d77aaf84eebaf4b2","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$FCE4BE02-8B33-431B-AC51-44F27AD91249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$F158D076-787D-4A10-911F-B96A2F67CFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a81f7362de475c6f94efb1145c6f25bf8c05513","datavalue":{"value":{"entity-type":"item","numeric-id":2243550,"id":"Q2243550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$E0CDEF0A-F091-418A-AE7A-71C445B40287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6eb3efcd3908cda7bf272b113ad359eceee9ad","datavalue":{"value":{"entity-type":"item","numeric-id":6142508,"id":"Q6142508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$782EDF1A-B375-4B1B-ABA2-D6F25E683498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bd726de9a21b6586c26041230682c0d737e5be","datavalue":{"value":{"entity-type":"item","numeric-id":6041350,"id":"Q6041350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$05099CE3-07B4-47E4-8B2F-6091254371EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ecc03bf43b2cf04fb15c3d14799da7ef7e7544","datavalue":{"value":{"entity-type":"item","numeric-id":2142064,"id":"Q2142064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$C1673435-DEB9-40CD-BB4F-48850117CF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f885b1d337b52a28fd05fb3e5eda838736ad70f5","datavalue":{"value":{"entity-type":"item","numeric-id":5241405,"id":"Q5241405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$CE2A3674-0D95-478E-B9D3-5DB36468ADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90671fe2a4fa6320116d0147417d3da42abd9139","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$B29B0464-2D21-4017-88B3-80C299B83B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e142570b88f0ef8e481b3a45dfb5344ea6c4998","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$095427C3-AC7A-4A5D-A19A-834ABC14FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6476cf8aba19133d5b11a12e0d95dfeddc80f98b","datavalue":{"value":{"entity-type":"item","numeric-id":2142067,"id":"Q2142067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$C3393FB1-20AF-44CD-A80A-AC6BA4584F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac043c5dc3e76dd06ae580d0cc3bff5a56c25195","datavalue":{"value":{"entity-type":"item","numeric-id":2115288,"id":"Q2115288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$344CA99B-A37C-4F97-9104-4E9F9C1AEDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$9AFACBF5-B948-4064-B2E6-91C88D65E524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65bc0b28c9fff471bd4913b0f82c7d00976d2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$3916C515-FF1F-439F-84D6-33C7E5FDE1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"effccea4f15e22580799714ef83de04d13560191","datavalue":{"value":{"entity-type":"item","numeric-id":2601622,"id":"Q2601622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$2A9B99CD-1F9D-462E-A231-326C7680ACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b5dec4318dca3e66a0b95e2bb5c23f92b09bd","datavalue":{"value":{"entity-type":"item","numeric-id":3229401,"id":"Q3229401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$27FC7799-5F5C-4C92-AFBB-C8CD0772B5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$5F31395B-C944-491D-AD03-2F3ADE14DD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb11e9ef387ef0044ff667472b1351a0055b162a","datavalue":{"value":{"entity-type":"item","numeric-id":3028974,"id":"Q3028974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$C40AAAE1-4BE8-4BF0-9726-007ED98593D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b81ad2b7d6ce3a171857c6de1196739c122a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3391022,"id":"Q3391022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$ED443854-AB14-4710-9409-BCB3C347411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bcc4f4a531d2901707f28dbf4f33b0fe9362d9","datavalue":{"value":{"entity-type":"item","numeric-id":1484786,"id":"Q1484786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541148$483C83DA-FE52-4186-A007-1F109AAB5FFB","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":"Q6541148$D8E177A8-93C8-4104-88C7-5D2E55E83A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541148"}}}}}