{"entities":{"Q4218929":{"pageid":6248530,"ns":120,"title":"Item:Q4218929","lastrevid":46693728,"modified":"2025-12-25T10:12:23Z","type":"item","id":"Q4218929","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223618"}},"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":"Q4218929$C9049291-9D40-47A6-BB01-021C9EA2FF88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fe8bdb2de3092d2e1187db0ce606636322bbde0","datavalue":{"value":"0910.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218929$CB8B299D-D48F-484E-BCE9-3FB046C88E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218929$E839F259-E656-44E3-97F9-6D86CE2CC4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218929$838BBA38-2331-4E19-818C-B3774D4F14B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f0ea40d34610c9ef1ad3dfa8f2b5e999f8568c6","datavalue":{"value":{"time":"+1998-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218929$34294EDA-1AB1-43DF-B8A5-333580E9D1F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218929$A1EAB9B7-DBB9-4409-8493-C34E0862CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218929$DE264C00-0276-46B5-8BFA-021B809CADD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b536ad16239eef0d67bbdd6353f19856bcb5a408","datavalue":{"value":"1223618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218929$F39B7431-D682-452A-949F-30864897DDCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$6FED47EB-A594-486C-ACA6-A377ED1D4F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d788dff212a5ac668b31d3f2ad47b96140a66","datavalue":{"value":"weak pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$F003C04E-0DD2-42B8-A5E7-1369086EAB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$F5C0E62E-75A5-47B1-BEB6-5A7E4924BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0cb31ca61b27ea95094c6c307596afdc437de00","datavalue":{"value":"tree-like resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$6513DC1D-297E-4CCF-B5E8-3D31D0347238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ad805d182bed5153f90f679cdcf91769d152a8","datavalue":{"value":"normal form for resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$EBD11240-EDE6-4063-885D-E8F1E3FE0E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba11f041362efba9478b9917579689ac80393b3d","datavalue":{"value":"monotone resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218929$F689965E-4B0A-404E-A6FC-F1971DAA78A0","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":"Q4218929$5E991A0D-A5D0-4AF6-BD8E-D1C840F45EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adba55132ad81c69da414cbebaa257ccfb28de","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dc357897586df0e2ebc4769e35ac1275594e5f","datavalue":{"value":{"amount":"+0.9055391550064088","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":"Q4218929$9CCCDBBF-2461-448D-BBBF-554ADB5E0104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cf90495e95ccafed6b110166466fb6ca23310d","datavalue":{"value":{"entity-type":"item","numeric-id":1401365,"id":"Q1401365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8b78aae8aba0a107660728138aefb364023da9","datavalue":{"value":{"amount":"+0.8903951644897461","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":"Q4218929$4FB7FFBC-234C-46EC-9DF8-985624C965FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc926d34953ac6340be0c23a4ae8361ba53ea0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5175989,"id":"Q5175989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb89ec42082000fcf4c03a49023c90ad45b5a6e8","datavalue":{"value":{"amount":"+0.8800897002220154","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":"Q4218929$FF4CC939-C5B0-453C-886D-165B28FC19E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd375b64bc46aa9a5f67605fbd5c62ae96cbcdf","datavalue":{"value":{"entity-type":"item","numeric-id":4535079,"id":"Q4535079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a71a817c5ebc992876bfc20b4000e5041ceec2","datavalue":{"value":{"amount":"+0.8731601238250732","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":"Q4218929$0B0BD4E6-65F9-4F19-87A5-E9B1E5E2BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea034fea25af33b206f6d76bb46ef8eb7039dd54","datavalue":{"value":{"entity-type":"item","numeric-id":558246,"id":"Q558246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38764e8d1772b5722fb610d5b813c31634c67dd3","datavalue":{"value":{"amount":"+0.8647990226745605","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":"Q4218929$E229726A-4B10-49BC-8569-0DF27B2F00F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218929"}}}}}