{"entities":{"Q3617035":{"pageid":5646941,"ns":120,"title":"Item:Q3617035","lastrevid":87456038,"modified":"2026-06-04T11:43:38Z","type":"item","id":"Q3617035","labels":{"en":{"language":"en","value":"On Generalization and Subsumption for Ordered Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5533774"}},"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":"Q3617035$5EC3118C-720C-4407-9DDE-1DF3EB810345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37ae96142e883b04c1db965bb0e8922bb57d57a7","datavalue":{"value":{"text":"On Generalization and Subsumption for Ordered Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617035$758F7BF0-3876-4904-BDEA-CA67D0C49EBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89e86dc77c55dd921bf8c9d832fa3cd0ae2e20b1","datavalue":{"value":"1227.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$34F5279C-6DEF-45A3-95B1-FA00B4491F60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f8ef0293b1dd15f6d7862a039a6969b83a37f3c","datavalue":{"value":"10.1007/11780496_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$6AB8B3F4-0FE1-42C7-AF18-8C9C5DE4FF86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"160d2f672d15ddde25a10b80fd97b6119025b2fa","datavalue":{"value":{"entity-type":"item","numeric-id":3617034,"id":"Q3617034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$0DD3908C-204D-4F2D-8DDA-73DCCE42986B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"438ee41060dcf72b1928006bfe15f354c3c02696","datavalue":{"value":{"entity-type":"item","numeric-id":2756891,"id":"Q2756891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$63E96D8F-0C36-4988-B221-75551D5188D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67dcb91e142dabac1994f88663fe8f692fa243f4","datavalue":{"value":{"entity-type":"item","numeric-id":293130,"id":"Q293130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$E10D045C-4ECB-4BFF-ABC0-79821C3C56B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a74908072c085535999ce582dd8e421c0807eb6a","datavalue":{"value":{"entity-type":"item","numeric-id":799107,"id":"Q799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$41DCA44E-097D-44AA-B8A0-53990F849623","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6a235e6e62ad5f636179693ddee7404be35e9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3617021,"id":"Q3617021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$FAD8F797-3823-406C-86B6-48028A32400A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"928b264ace34efebecc8631b263762d6e421a407","datavalue":{"value":{"time":"+2009-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617035$29A154D5-1C4E-4046-942A-3B011F14909F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$466C7CB4-BE81-4801-840D-AEF3DF4881EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$5F8D1100-B95E-48E3-B97B-283E720D1BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$3B68516F-3056-4CF7-9435-DA0EA5D1EC35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f655aa98b48fd2b5a8ab56649c648dadb197af5d","datavalue":{"value":"5533774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$8AB4A608-6798-489E-92B5-F6CED8AA5DA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"277e3d021e1e88c40b8ffd696192aec2a1ebe304","datavalue":{"value":{"entity-type":"item","numeric-id":14494,"id":"Q14494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$E757F1F9-52D1-448E-A772-4914F10184F3","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":"Q3617035$B9F4D54A-9462-419D-86FD-53B817E51021","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cddbcdc0ef509f735b1cf1debb8f39558f42c5a","datavalue":{"value":"https://doi.org/10.1007/11780496_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617035$3F481D7E-4B54-4057-86B5-19E5850E0A2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"916f90471b3720c49ebbc133b2be69ed48f7ff3e","datavalue":{"value":"W1485509858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617035$8E47A1F2-BE53-44C0-8B1F-3872FB951B02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d282279ed10065867947540e184390ea8509d545","datavalue":{"value":{"entity-type":"item","numeric-id":1575132,"id":"Q1575132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$22F8E2AD-3D0F-4E55-B4BE-416957483DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd584381810eb38caa8bc00681b4eed19aff956","datavalue":{"value":{"entity-type":"item","numeric-id":5717487,"id":"Q5717487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$EF48576C-3FFA-4E26-83A3-EF4F7426964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$0FF0F713-75FB-4153-8738-4795EE83C513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77dc212093fac6534f30a8030fd3ba8150b8f2a","datavalue":{"value":{"entity-type":"item","numeric-id":685346,"id":"Q685346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$0A53076C-6813-444F-BCFD-233D9E12F8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3adb5c840e4085070d4f3baa2bba10a995cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4338854,"id":"Q4338854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$34474E43-3BDB-456B-AC9E-A344C81EA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$F8F4AF20-9C57-4693-AA7D-FE1A6458DC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777ab2fea1fe21bf7c230b27cd82595402d79274","datavalue":{"value":{"entity-type":"item","numeric-id":1356228,"id":"Q1356228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$82623CBA-9A97-4B44-A7CD-F790A472D4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$88642483-F47D-4D36-9B61-DC0CB48E049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617035$FA6EBCC0-D5CD-40F7-AFE2-3BC63DA847DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65991d9eef395a025f5516fe3dbe489c43b310c","datavalue":{"value":{"entity-type":"item","numeric-id":4386949,"id":"Q4386949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dcb88d0dfa3c4cc93f60633a9b2bf7b0307d49","datavalue":{"value":{"amount":"+0.8001541495323181","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":"Q3617035$04DB8F65-D30B-4CBD-8BBE-E8D3038B8735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665c24f5f5d7ff63bd4a0e43202ef1658bbaae0b","datavalue":{"value":{"entity-type":"item","numeric-id":678594,"id":"Q678594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845403b6d079134194d616a108405da78f2ec983","datavalue":{"value":{"amount":"+0.7857335805892944","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":"Q3617035$96DBE111-A915-48FF-96FD-3793C9108C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746596fb6ef04244ce196adc8514a58f2b0726f0","datavalue":{"value":{"entity-type":"item","numeric-id":5705918,"id":"Q5705918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20abeeffe164f9c4c309fdc4cfb738a26bad6707","datavalue":{"value":{"amount":"+0.7611443996429443","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":"Q3617035$980A3900-E640-4E02-B789-7BD886E4FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa3c244dea9e591965ff6db861d001cdd613ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4676752,"id":"Q4676752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72fa0b2cbcf83767744b7d8111a56f6090ba4da","datavalue":{"value":{"amount":"+0.7590551972389221","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":"Q3617035$29ABFE72-51CF-4580-A494-8CBE9A47D80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5569654315b19e34a5da257d99d6eaab4342e72","datavalue":{"value":{"entity-type":"item","numeric-id":2581757,"id":"Q2581757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f37c5e389c416eca56e19f74805629196c86e91","datavalue":{"value":{"amount":"+0.7548425793647766","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":"Q3617035$1E12718F-2F8D-40F4-BF27-F802E7A5D9EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Generalization and Subsumption for Ordered Clauses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Generalization_and_Subsumption_for_Ordered_Clauses"}}}}}