{"entities":{"Q5079762":{"pageid":7109338,"ns":120,"title":"Item:Q5079762","lastrevid":91316714,"modified":"2026-06-04T22:51:36Z","type":"item","id":"Q5079762","labels":{"en":{"language":"en","value":"MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533362"}},"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":"Q5079762$6D3B0890-ED93-4429-B237-E21E1713FB0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$A17D041D-56E8-478E-9CD7-F2E89D02E1E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-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":"Q5079762$7757D8A4-469E-4A06-BB0F-AB409959F534","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0706f905e398bbe8609adf142635d14c1c29aa3","datavalue":{"value":"https://arxiv.org/abs/1804.11066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079762$73510ABE-3126-4523-B1A5-75343FAE1257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079762$6482CB6A-0C5E-4CE2-917D-37300D4B1E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc37fea1a5ab0f54f08a429b614d1180432ef68","datavalue":{"value":"7533362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079762$1EF09B19-72FF-4001-BF06-663BC23E76C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28ba3667b0375dc857ae2c1bc1567a2d5fc621b","datavalue":{"value":"algebraic cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079762$9624A496-B043-48EE-92EF-900EC919092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab77381e77c226e0352d45a26d92be533bfcadc","datavalue":{"value":"parameter-free second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079762$303FEF94-D971-4F52-9BC3-E0C8482DA63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12673934703358156cef00697c88ac0fa02d8f55","datavalue":{"value":"macneille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079762$72413FBD-8C7E-4A4A-A571-6CCB908743AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea0e78c5e275c08368a3a48052db4e5c2e41ed8","datavalue":{"value":"\\(\\Omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079762$8DB1B1B9-6DA7-483C-A162-5364E408F8B0","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":"Q5079762$A387F24F-9C62-4D2E-BF5E-1317BA5D100E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c9bb36764854195fc9f78e8cce2947d94bfa69b","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$C860B3E2-E057-4FE2-8ABA-36BEF33EAD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513f315cfe6bdd77e3804c44de31b1ef541afd0e","datavalue":{"value":{"entity-type":"item","numeric-id":958481,"id":"Q958481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$F9CD4158-43F6-4F4A-B96D-34C69040A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28a63282ca167f0cd2363a2eb3aacead415893c","datavalue":{"value":{"entity-type":"item","numeric-id":283132,"id":"Q283132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$D6748C5E-B167-4F59-AF09-60784CC5EC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c102fa6a9bf1a42786c4f5475239a42e0c03ff9a","datavalue":{"value":{"entity-type":"item","numeric-id":5369470,"id":"Q5369470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$AE0AB575-58FE-4ACE-AE5A-734A97A61254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf4b357a0a94978ac349e24753f1162ff858b41","datavalue":{"value":{"entity-type":"item","numeric-id":2778814,"id":"Q2778814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$CFEF1F7E-7FAF-4D91-AEB0-834125B0F68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$43EF5645-EEC1-485B-95D2-623BD1A62A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$E332EC44-C12D-48DA-8009-0D2F4A03AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c20063395d481d6afd6b6ba37dc0e8e042800c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$77B65A18-1774-49FF-9B52-734189BDBD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$B6B63DE2-69DA-4DBA-BD06-0777DD721278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$4F769790-AE08-4F44-B5A0-B43CCC3C3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$3BD2CEBC-80E4-424E-8C0C-C10F73470DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbf1a7e143abb0354af5e56a1cb6e80bb0eef56","datavalue":{"value":{"entity-type":"item","numeric-id":730091,"id":"Q730091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$B2DE1988-8794-45E6-A279-3DC4D67D9324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5299fc441123d2921218e6d6996e8af28826980","datavalue":{"value":{"entity-type":"item","numeric-id":5843041,"id":"Q5843041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$546E41E2-C7AB-4BA7-91C9-B47E570D2A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$9CFFE900-88E1-42D2-BF6A-5A7C08054D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$8004558A-746F-46FC-B5D6-7CB24488E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$35C38643-9B2B-4E7E-BD22-F5D7F7D04D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdccfda11550d45acc47f56197ada4ccfbb45d6","datavalue":{"value":{"entity-type":"item","numeric-id":1942334,"id":"Q1942334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$FD881B69-9C78-410C-A09E-05D868AE3688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$BA1BA9BA-59CA-4BE7-A523-BF166B9E2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf570b4f8cfc364a1cf37af2845b521d40478adc","datavalue":{"value":{"entity-type":"item","numeric-id":1192582,"id":"Q1192582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$19FE48A7-7CA2-4DC5-BC09-E33A1C0FF868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ddf5d47a928aafd508d66128aec39c9fc5d49","datavalue":{"value":{"entity-type":"item","numeric-id":5854738,"id":"Q5854738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$8545CDB0-0605-416C-B6EE-7DA7B5CE3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$FA16A18B-73BA-4E01-9F2B-FDCF6FD39AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$56E0CA19-7795-4508-BF75-9143D9692121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3b8d82bc878a09ecc2c39572bb475f9fe89984","datavalue":{"value":{"entity-type":"item","numeric-id":767570,"id":"Q767570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$752064A2-579E-4F5B-B496-85FF2503D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$505124E9-B4AF-4F1D-80D5-93E2AA3DCFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$D8FD79E5-33BC-4056-8465-CF7036AD4D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245dee262e88208c5956b8ee284e0a0b5bfdd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":768309,"id":"Q768309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$9E05916E-7784-4782-9223-43C970590759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49034912b3a103269437c6273cdcf4b27cbd29ae","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079762$9E936A5C-CA0A-4586-BBAD-077C9BA71792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6afe4086d208331bbc40199a14016b19e079da3f","datavalue":{"value":"W2963572521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079762$19AFE076-2ACF-4828-909C-8F3B92019A2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5320ae5e7811b5b142bffde4b03218f81c7accc","datavalue":{"value":{"text":"MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079762$D032E72D-C290-486E-AFE1-A65E31AD29CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a066a75f2ac0b6ca795112cb219b5bd2972a02","datavalue":{"value":"10.4230/LIPICS.CSL.2018.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079762$3B481A0A-10B0-4677-9339-6774263500F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251c095c0cfbb9f9fca38e6a1d4c00adbdbc91ac","datavalue":{"value":{"entity-type":"item","numeric-id":283132,"id":"Q283132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d1e59d5af3b99d404518c66696f4c5df1e3f18","datavalue":{"value":{"amount":"+0.7946396470069885","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":"Q5079762$2924659A-CD09-4B66-8C17-DE0938E09AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73da57a985624217ddd516d67ee9cf5cab8b26c","datavalue":{"value":{"entity-type":"item","numeric-id":3003361,"id":"Q3003361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de352f76e038fa012b2c8e07394e4306cb82df7d","datavalue":{"value":{"amount":"+0.7256361842155457","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":"Q5079762$C8AF20F2-1A30-429D-8371-A21A48AE1AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11405d699732eb52e458d5eb811247f8d048ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1114684,"id":"Q1114684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f3eea083dbbcd9655282fdb12a33734c41c04a","datavalue":{"value":{"amount":"+0.7203527092933655","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":"Q5079762$AE12CE19-B4F2-43D0-B32B-487F61520668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7976d912fecd5683a1f57959832ce8dca91be1","datavalue":{"value":{"entity-type":"item","numeric-id":3800028,"id":"Q3800028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbb064f0469201861d44ec4d5662759edb0692f","datavalue":{"value":{"amount":"+0.7109767198562622","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":"Q5079762$E647F609-7136-4C32-B133-FC8E7EAD564F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f503e3a02f03e5292f38db47055df28fa0333f0","datavalue":{"value":{"entity-type":"item","numeric-id":1677040,"id":"Q1677040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0a0f5471ed68343ad5fe0f7104b90787855d2c","datavalue":{"value":{"amount":"+0.7063626646995544","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":"Q5079762$4EB1C9EE-A24D-47A8-847C-6942DA529557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics","badges":[]}}}}}