{"entities":{"Q915497":{"pageid":917345,"ns":120,"title":"Item:Q915497","lastrevid":42761510,"modified":"2025-07-10T12:24:46Z","type":"item","id":"Q915497","labels":{"en":{"language":"en","value":"The problem of finding a semantic strategy for focusing inference rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151856"}},"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":"Q915497$FC17F51F-12EF-4AD8-AED4-9BC9895C7A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1008565d88d5221f1586794b235a9498b8599b8","datavalue":{"value":{"text":"The problem of finding a semantic strategy for focusing inference rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915497$A6B6F27C-DFF7-40C1-8464-986BEC3DB9DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84119095378a7e397447012ad950b2c65b1d3ab9","datavalue":{"value":"0702.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$9064233E-D951-4FB8-A877-7E16B5066767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5218552a79baea039259c2b6da3de1153ddeaa8","datavalue":{"value":"10.1007/BF00244492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$A9B326F3-59D1-4851-A9BD-7CA8345FB3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915497$2172AD9E-1C53-4D68-8A5D-17DA9EFEEDB2","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":"Q915497$335E2B2F-502D-4065-ACF6-7F15C9D3DD7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915497$4B49492D-B1A0-47AB-A24B-116A1A8F5DEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$9F4DED4A-8DC8-4A8F-9CFF-47E580AAD8C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eef80c9dd25f01a0449a6f2b5ce7c337b0ddcd2","datavalue":{"value":"4151856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$B3AAA770-C6E0-4EEC-9736-059BBCCE748D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37727c964b9131de42a9c68759a1272b074a21f7","datavalue":{"value":"syntactic criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q915497$B3873B32-5C7E-4976-95F6-4AA7BA9484C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q915497$EC15E051-0617-44C7-959C-B42F618D9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q915497$B445C4FE-B92F-4094-9140-FC90B5EA1832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8893e8c9ca97a22ce639e5ae218ecd50574219a2","datavalue":{"value":"semantic criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q915497$4636A8CF-A627-426A-AE98-0D4B2E38C34C","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":"Q915497$7360F610-DC06-40E9-9AC3-558862C2B75E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"09d88776e251ea2a4371111bb975e10262328748","datavalue":{"value":"Q114267074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$A6E15773-F297-446A-BD51-67EE38F1A24C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a64fef77209ad3c77a077791b3eef5448d584f58","datavalue":{"value":"https://doi.org/10.1007/bf00244492","type":"string"},"datatype":"url"},"type":"statement","id":"Q915497$8EF99179-F6C2-4A57-8B61-EF12EFD0A5D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7341b151d9ba93bd5ed3a6d5f64f150a29140b97","datavalue":{"value":"W2008689902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915497$405877C7-D618-45DD-AADF-CE2DA60704EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25224abfb41044bd0a6842bce4fe47a01f1c552","datavalue":{"value":{"entity-type":"item","numeric-id":2120974,"id":"Q2120974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a108f3f2ec2e020c0cb01123e628d8f6833da12","datavalue":{"value":{"amount":"+0.8445872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$D0BDCC54-B4EA-437A-92CB-BC38111EB152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0e32fdf53b0a6a7cb75a05a1278d0a526f7a3","datavalue":{"value":{"entity-type":"item","numeric-id":2745124,"id":"Q2745124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85389f7195651dd74f8e9a86844492dac4b3150","datavalue":{"value":{"amount":"+0.8339686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$6721AF03-28D6-47BA-A563-9636AAA5C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801c26e0fd8b7d8e8c193ffd6b605a1fbd471200","datavalue":{"value":{"entity-type":"item","numeric-id":975776,"id":"Q975776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3faa9711c0feda76224812e6d2034d0c6e7ded1","datavalue":{"value":{"amount":"+0.82551455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$E6E2E74A-97AB-4DFF-83E3-A26F69C22846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abec37a393d65a482dc967c94a947da23075756d","datavalue":{"value":{"entity-type":"item","numeric-id":4240026,"id":"Q4240026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b5491d6df3c41d8897f1a261a4be565962dc92","datavalue":{"value":{"amount":"+0.823522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$6A7F5342-5276-4F0C-9AEC-ED64A92CC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f34011cb4408bdb88ae9bf535f8f13204e01baa","datavalue":{"value":{"entity-type":"item","numeric-id":5505575,"id":"Q5505575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2de80ac0ab50135053b182272816ccf8c9f098","datavalue":{"value":{"amount":"+0.82258207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$CE842B67-BA64-4AA8-BBEB-DD5D4DC9126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ebdd581edfb41c4745a111b335473bda80ebf1","datavalue":{"value":{"entity-type":"item","numeric-id":688553,"id":"Q688553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d413f15397709ae192f069485133c8fb68809e","datavalue":{"value":{"amount":"+0.82075596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$D3FC80BA-CC94-4CA9-AA98-1CEA1490AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f3ae99693703883c54e559cea04d678099e50f","datavalue":{"value":{"entity-type":"item","numeric-id":1707598,"id":"Q1707598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f06d2877427f73721b629d07f52c4d8b25c8c01","datavalue":{"value":{"amount":"+0.8201653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$452609C3-E411-4B28-B380-4FE0073A5896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c07fc66ffdf738073b8e11412210ba4d07dec4d","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becaff8788a901ca3cdbc1a761b212116f3a6a8d","datavalue":{"value":{"amount":"+0.81890994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$3666572D-20C4-410B-8405-CA2DB1B79AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee484a6891ebf3a71fac2e4a2995a591ac5610d","datavalue":{"value":{"entity-type":"item","numeric-id":4175555,"id":"Q4175555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fa4f8e8441e49cf2e3dbbd062d7f96119c0876","datavalue":{"value":{"amount":"+0.8187863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$132CF754-A9D3-4922-9984-E5119AF726F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731657bf3fef148ce67fcf5afa4264fc8a7274c","datavalue":{"value":{"entity-type":"item","numeric-id":4797641,"id":"Q4797641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bb1da48c77b7db33e0bc24e55b51572078d856","datavalue":{"value":{"amount":"+0.8185306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915497$34263553-79A8-4BE8-BBAA-B916FC9712C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915497","badges":[]}}}}}