{"entities":{"Q1292304":{"pageid":1303054,"ns":120,"title":"Item:Q1292304","lastrevid":67450215,"modified":"2026-04-12T17:57:28Z","type":"item","id":"Q1292304","labels":{"en":{"language":"en","value":"Modal logics, description logics and arithmetic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1306066"}},"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":"Q1292304$69E950FA-941C-4E34-AF9D-6253972E3823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26d7d1c7c549c3b08671537567ecf593200c4fbb","datavalue":{"value":{"text":"Modal logics, description logics and arithmetic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1292304$2732628B-644C-4B76-BC2D-A5E53040C134","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a60752eb9c1bf2722a59e0ff148d82028b8546d","datavalue":{"value":"0916.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$8D64E7BA-79F7-4AEB-AC10-F7206600431A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f0d03b00505f821d6e095b9a95ae05a82deb7c","datavalue":{"value":"10.1016/S0004-3702(99)00011-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$1069B8DE-F6BE-426A-80F5-443D7C173824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292304$19E411D4-F6D7-4C8F-ACFA-28B3098C2597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10884ae25a7a201f1bd1eb68fdda760c350659e8","datavalue":{"value":{"entity-type":"item","numeric-id":1292303,"id":"Q1292303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292304$14096CC1-6B48-4E4B-8A5C-4D4726222ECB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292304$2A99FB1E-7CAC-4DCA-9BEE-6F78401FE637","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35b3a064d7682b9a13e9899ccb5eebd1ef0414e7","datavalue":{"value":{"time":"+1999-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1292304$E7826511-C6C9-4B47-84F9-E16168ACD3C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$5E8AAE36-7264-4C66-8DB5-1687F3434100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$121C4F66-9B4F-409D-B538-E027F199E554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"172103d84f8167c02f0c095e4357fda9eb7d9110","datavalue":{"value":"1306066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$95DC7F1D-7CF8-436E-A7D4-5D487795F160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292304$7498022B-CAB3-4D89-ACBD-BF002C2DD67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292304$5633C04B-B2DB-4EBD-9FD6-7BB9A3342ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be379bfeb83b23c3558e58035cca289b267821a6","datavalue":{"value":"combination of inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292304$0948CE0B-352B-4029-B8EC-F17AFE157071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae446b5111449a4ff62012da77c518047b5997ea","datavalue":{"value":"mathematical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292304$26D15922-788D-48A2-827B-E6EA3489F51A","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":"Q1292304$919F6AC9-25E7-4FAB-B5C9-2336339C6A4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"708e0171d903c74904d9a499ac3bf6ab7c3d95ba","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(99)00011-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1292304$9AFC9497-83D2-4DE4-BF68-9A8CB5F40998","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e85157409b5d70f7b6b571548922bcf6b5b33d73","datavalue":{"value":"W2154026530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292304$CB1C477B-EB68-4E77-BD94-6500D91C5CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df55487b719d865e0e3d97db68c902a5f675baa3","datavalue":{"value":{"entity-type":"item","numeric-id":3069418,"id":"Q3069418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18f8b48b78e221de171f16fb5db1fb9d67704c4","datavalue":{"value":{"amount":"+0.7568819522857666","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":"Q1292304$37F69741-BDDF-473B-94CC-0A581B054A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ed23eddd079fb18cd65a9a8f867133b0a6f27d","datavalue":{"value":{"entity-type":"item","numeric-id":4939661,"id":"Q4939661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045ed37fa3fa4a2673e9a80c9fa7d7bc548e84f2","datavalue":{"value":{"amount":"+0.7540090084075928","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":"Q1292304$3EAEA323-115E-4EA5-B172-2CC867083C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1d0757996d0acbe7289035abe952c21f4ec1bf","datavalue":{"value":{"amount":"+0.7494921684265137","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":"Q1292304$9EBC9FA5-1F01-4340-A18D-F76D98F54100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics, description logics and arithmetic reasoning","badges":[]}}}}}