{"entities":{"Q1356176":{"pageid":1366915,"ns":120,"title":"Item:Q1356176","lastrevid":67671426,"modified":"2026-04-12T19:16:07Z","type":"item","id":"Q1356176","labels":{"en":{"language":"en","value":"Hybridizing nonmonotonic inheritance with theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1017040"}},"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":"Q1356176$77B05ED9-DBA9-4809-8773-0A016B360A12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f01ca6c9b97fdd8ff5842408cfb18a388bf5409","datavalue":{"value":{"text":"Hybridizing nonmonotonic inheritance with theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356176$E3319E56-ABE9-496B-B443-25BF217AA5BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"903b07dd3a21675cca6d74cdb0a573b54461f2cf","datavalue":{"value":"0875.68759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356176$203E7224-4594-4C7B-B282-5DDCD813B3D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f76d7fe750589289f467ebe7fe77807ddb08e6","datavalue":{"value":"10.1007/BF01535525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356176$2F5D0C2C-0A93-45F4-84BF-7099B3112382","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1472dc2d6dc52976f36e82d4bba669d73b73a94c","datavalue":{"value":{"entity-type":"item","numeric-id":302247,"id":"Q302247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$226933D6-7E7F-40F6-AF8E-BC3DBBC20E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c723495bcfd5ee685ba8591c60cc6b2541f0c39","datavalue":{"value":{"entity-type":"item","numeric-id":1356175,"id":"Q1356175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$CB22E752-A606-48A6-9AB7-8EFB7333F526","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$38CADCA6-32FA-409E-B854-49165F17E41C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c9ff9641120a3295589b2943ae9aeb635bcb9a6","datavalue":{"value":{"time":"+1997-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356176$A4616CE6-31B7-45F8-B928-2295F7F9E5BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356176$6F8FCD6D-2AD0-4C56-B840-9C3FF3D2CA97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d401d13fdb4c999f3c57e8eb5e01ab09c19289b3","datavalue":{"value":"1017040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356176$B801677A-E49C-43BD-AE3C-3B397EEB5AB4","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":"Q1356176$31BD513F-1584-4D1F-BB26-5CF841C964FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"565e2039f16dc5757baa41da9dea1aaabca87213","datavalue":{"value":{"entity-type":"item","numeric-id":1091390,"id":"Q1091390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$D5649CE0-D389-40EC-AFF3-A29C4111732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be02880adf3b9531d20f6265c7de89b7619f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3888567,"id":"Q3888567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$F704B1A8-F6F3-4E15-A00B-A1DCB092A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c89e1d9004398ab389501fb07d2ceb4cfccb559","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$4096EAEB-5F1E-4180-95D7-6E7148233165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$D95A2588-F119-4FF5-9528-4E2DD57A5B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f33c6989edf6f6984b6e2aab501586edeb607","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$0AD7D0DE-99DD-4627-B098-3798BC1765E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$DF297BDA-6E72-49D4-9F03-48090E2886E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$48BCC83B-523F-432F-9584-97166B062A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df52c05a594f883d0ef3171c5a1eb1cd6e602c","datavalue":{"value":{"entity-type":"item","numeric-id":1202630,"id":"Q1202630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$145C81B3-937D-4E23-9BF6-20E65BB3806D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6053278ad8ab4cca5aeee0e3f4904ae4bd51cb89","datavalue":{"value":{"entity-type":"item","numeric-id":3992826,"id":"Q3992826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356176$FE210851-0E7B-4DB8-AA7D-5B191BA30197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybridizing nonmonotonic inheritance with theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybridizing_nonmonotonic_inheritance_with_theorem_proving"}}}}}