{"entities":{"Q331619":{"pageid":333386,"ns":120,"title":"Item:Q331619","lastrevid":52659371,"modified":"2026-01-23T05:15:49Z","type":"item","id":"Q331619","labels":{"en":{"language":"en","value":"Proof generalization in \\(\\mathrm {LK}\\) by second order unifier minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644466"}},"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":"Q331619$72C0B28D-3696-46A3-8F92-86C227DF52F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc1b49579f8359e83218b08a7cf82145ee1fc3a","datavalue":{"value":{"text":"Proof generalization in \\(\\mathrm {LK}\\) by second order unifier minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331619$C00D8011-DF2E-4E7F-BD7F-483E06D4D697","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f51bcc3438ee30daff0a3fef98b002fb2f3d29","datavalue":{"value":"1402.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$9C19AFC2-F0F1-413C-A5EF-6AABA4C2E79D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$75F2F3C4-9003-4032-BC5C-09568C4120BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$F817C414-E2DF-4E44-B68B-A5F16EA18DEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$44D2F7B6-D721-4352-9E64-9D6BA4DB250D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q331619$CEBAE850-D531-4EB2-9053-8AD315DB2602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$FB6B5E62-1980-4FE8-9886-4CCB12881818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$5A6F96DE-B2BD-41DB-A302-C682DCA9835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$DF8605EE-D637-4A7C-9285-4D2A362C8E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$6990AFEC-6284-46EC-AEAB-E47D4C5E5A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$C462D984-1967-4707-8533-CEC67E28B026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$FAAA5ABA-6A7D-4B95-B328-85CB75D7AE73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c44e5db78341ef4f7361269b5350b885926914a","datavalue":{"value":"6644466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$D2340277-C69C-4D69-9A6E-3BBDD616BCB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q331619$C22774F9-B9D9-4A02-B7E3-F57E3747EEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q331619$6E760C6E-2B74-49F4-9128-2376E7256424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q331619$E03D03A3-A0AD-41C6-91AC-08E88C88265A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q331619$12FEFCDC-1CD1-4280-B087-C7FB4D05214D","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":"Q331619$E8315790-927D-4D58-A8BF-73287ECB659E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"841fa57d8a859bf842a192b909157fbe799e77cb","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9367-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q331619$0D86B318-B3CF-4254-956B-5D740EDEF223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c6dfcb15cd2ccfac21ae4d833f46e4e6f8ca01f","datavalue":{"value":"W2324348649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$B3E721CA-170B-416B-A298-744412451D84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$D0053F1B-1827-4FF7-B6F2-5D22436E09DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac25e63d54594f5eb2c84da7217cf5a703f75a44","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$F0744999-D78B-4533-BEEB-B89C74B6FFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ff82ab2dfa1864c5faf26125e582b6529d29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$8E74CCCF-8508-434D-99FD-40CCD5DB2058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232408a5aa0583a17b389a6e68e44202c7915bca","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$189DED3E-8A0D-480D-B499-94CCA05E1DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d892b085b4b332377a14108514583ee394897a","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$78B055E4-6956-438A-AC48-B186EB5EC563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$7BF269EC-63B2-45C9-8605-80B31AF71D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b9673b38489b259e94536cc8cb8767d5873dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1814133,"id":"Q1814133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$5B61F3D9-F058-401F-B120-339625209DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$907CAB99-0E8B-4488-8617-E99D080363CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5976983fdec1ad91e3daedf6dd821f567172d3c3","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$E05592F9-2583-4049-99CD-F926774EB49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf1ee39876e2d8861ae5a50c623064bc23da5c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586051,"id":"Q3586051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$77733315-0778-4869-B889-A8BD27CF55F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50bfa2e117edb9cc1db8207f4a56b574498f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$7B8BA3FC-4DA1-41BE-9EA6-82D4EBDF633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$DC736C1B-31EB-4F42-8A06-7B2B8EE3E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f672d13adabc03152daa27f8a71af484df04a578","datavalue":{"value":{"entity-type":"item","numeric-id":1914170,"id":"Q1914170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$F9577176-85AA-41AF-8E9D-E7739265374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96c8b0d5b6202f8e4b277781822b4d40635552d","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$667A231E-FDB4-4079-BB55-CD34C5A1EB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$965F2667-41A2-4855-97B5-51AD4D77A24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$90C82527-5059-4D56-8FB1-AAEBCB625FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f19aed6502e8081be50d73295fcae9a58124ae","datavalue":{"value":{"entity-type":"item","numeric-id":5292657,"id":"Q5292657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$5AE992AE-CB9C-4ABE-8581-D30DE50DED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$546D76BB-0F59-457C-9AEA-053DDA03695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$6AF18863-C700-4080-9CAD-768B1F135162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811eee2cf1f391c5114de473a18e82aa89016ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4237680,"id":"Q4237680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$4939E470-1341-479D-861C-1258F1B69260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$CBDD36F1-6F0C-469E-9E16-E935FDC051F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$1EC9C72D-EAE6-4978-A734-6D66382C3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126ab016009eacc9788b8c689bf924c8a59b3e23","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331619$E236C15A-10E3-4357-85F9-19259C63D61E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a8bd0f5d2df9969bc963522fa45a5f1311b65e7","datavalue":{"value":"10.1007/S10817-016-9367-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331619$82A75524-EBBE-43CB-8FC6-DD152581005F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0116dab4c2b534fbf3e581845968a5333d94387d","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3281126acfb9daa976e8fcaa62db5cc429e4f663","datavalue":{"value":{"amount":"+0.7351617217063904","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":"Q331619$04C6B716-41D4-403D-995A-FF1C42078B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0831e0f1bac3ac15e5b26c465f13c9d70d14a98b","datavalue":{"value":{"amount":"+0.7350096702575684","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":"Q331619$FD1D3B3C-9AFD-424B-BCF5-DAC9686BF2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40d92fa97093c76018459af70da45c4cb1a659a","datavalue":{"value":{"entity-type":"item","numeric-id":3469102,"id":"Q3469102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66da60e4de41f44609a0be21ca7c730adce6572c","datavalue":{"value":{"amount":"+0.7302916049957275","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":"Q331619$6C8307FE-5ADE-4B75-8997-3E9CBA5AC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28421fc1590a1de823fc9e036be5e3fffc9f2e0a","datavalue":{"value":{"amount":"+0.7207878232002258","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":"Q331619$9E3ADF04-E2DC-4FA8-AF1E-EBB6B8C2ED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fe9fd6c8ae0c874e2a2d782c259f419b0fdb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4411836,"id":"Q4411836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218174858067562b0266c16ec3fac661f6ccef55","datavalue":{"value":{"amount":"+0.7184921503067017","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":"Q331619$A7CF29A3-E356-40ED-9422-17B06C371D17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:331619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:331619"}}}}}