{"entities":{"Q4932615":{"pageid":6962197,"ns":120,"title":"Item:Q4932615","lastrevid":90991211,"modified":"2026-06-04T21:58:53Z","type":"item","id":"Q4932615","labels":{"en":{"language":"en","value":"Verifying Context-Dependent Reduction Relations for Knowledge Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5796582"}},"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":"Q4932615$81084DFF-A6FC-42F6-A373-73DF3E76B487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c8cc4ecffddcadf70c007ec2d673d959539123d","datavalue":{"value":{"text":"Verifying Context-Dependent Reduction Relations for Knowledge Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4932615$35AB2066-99F0-4C10-B5B7-9C6B3486AB14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2c66b84e7e0c68f413e65f3d3bd73ffae2afa4f","datavalue":{"value":"1200.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$EB074E33-EE08-4B65-8638-9D6FF3183586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b49d866b3e3e1efae66a5d0202b67b1ec77983a6","datavalue":{"value":"10.1007/978-3-642-11819-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$76060E2E-8D9F-4864-A739-EBF3B90C033A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e74360b57e95d386d54e9e69b7d189cc2406f8","datavalue":{"value":{"entity-type":"item","numeric-id":3056335,"id":"Q3056335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932615$8197C65D-0DDE-40F3-85F1-7ADFC72BF22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd23dea699838e8e1a8195d9ff152899c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":206623,"id":"Q206623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932615$73A9CDDA-54BA-4408-A1A2-4DF38B333F58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932615$41388038-298C-4870-B7FC-E4A4752F55F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95d18b46fedfd0a4265c850fd91377eb31609d3a","datavalue":{"value":{"time":"+2010-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4932615$FCCA412A-2724-459A-932A-A81CAC7EC820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$AE27A4DB-928E-43D9-A408-A3299B01745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$BDA7E273-E6ED-46EF-8ED6-22B990018700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba5a71b9f222849d156b7c7186c256d747340ff8","datavalue":{"value":"5796582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$D476E834-6FA6-4131-979B-2D00211DBB09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45df49c90e8656b3110e9ac53b7021e389a0904f","datavalue":{"value":"reduction relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932615$2689B1CA-485D-4B0C-B33F-15E816640406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8389f0d4b26c0ff3a88ca356c0989f8513b97b","datavalue":{"value":"automated mapping of specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932615$1DEDF075-0E3F-43BB-B89A-7DBA96E59A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad222f55139ace7eef123ebe088589440dc6572d","datavalue":{"value":"cognitive science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932615$0EC7B4FA-9805-43B6-A85C-1C9D9E7C8A85","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":"Q4932615$D176E3D9-B4B3-4463-A79E-C227CB4FF536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8861fc3e13072511bc5bbb63892e8310fb7d9677","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11819-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4932615$85BD3AEB-4890-4678-83C8-CEBFD1CE4897","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d951409b94c506429eedc351ec34a94a8a4946b7","datavalue":{"value":"W87958169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932615$FA1E5CA3-DEB5-4C2A-B2EB-E61586C6F9FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1512130ffc878cf05cd366ffe7d16eb718f496","datavalue":{"value":{"entity-type":"item","numeric-id":1274279,"id":"Q1274279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f517729b0ff2d27f751980f8984a1d63799c98cb","datavalue":{"value":{"amount":"+0.8788978","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":"Q4932615$D0A8EDE6-50C8-4264-9B7C-07481F2164DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f516b9ed2077971be5570e7fd4db16464339ac29","datavalue":{"value":{"entity-type":"item","numeric-id":3457205,"id":"Q3457205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c4be55d5038058519459e19811c8cba7038d9c","datavalue":{"value":{"amount":"+0.86687994","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":"Q4932615$7EF81CB7-522B-4754-8810-7226BE1D3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8281d2a6730dd46efd4a9f9a0f44648a527e16d","datavalue":{"value":{"entity-type":"item","numeric-id":1749973,"id":"Q1749973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4ccb735b71c6276999c6794ff5c3a32880d4b2","datavalue":{"value":{"amount":"+0.8657564","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":"Q4932615$66F1842E-BF85-4EF4-86F9-3DD65BBB8AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999ef1e86e738196c3b710def534e84528a1f608","datavalue":{"value":{"entity-type":"item","numeric-id":2938518,"id":"Q2938518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbd279152864b9997058c05e68d98a85f1f0f9d","datavalue":{"value":{"amount":"+0.86166143","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":"Q4932615$95A61534-D815-4FF8-8FF2-65F9B1E4017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f8ccf557325a0f92e3616edb20f51031b2bebb","datavalue":{"value":{"entity-type":"item","numeric-id":276409,"id":"Q276409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e840a7869b46af3d395267cb4c3f85d2dceab346","datavalue":{"value":{"amount":"+0.860977","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":"Q4932615$DA7098EE-B4A0-4DB0-9B2F-89DE790C343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf43a525a211160af15130b223a53d5717583109","datavalue":{"value":{"entity-type":"item","numeric-id":1198439,"id":"Q1198439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc32e20aadf301c0569e08c3fb18418a3a829e9","datavalue":{"value":{"amount":"+0.8506917","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":"Q4932615$F574B09E-1D6E-407B-9D75-EEC749DC4F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying Context-Dependent Reduction Relations for Knowledge Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_Context-Dependent_Reduction_Relations_for_Knowledge_Specifications"}}}}}