{"entities":{"Q972423":{"pageid":974271,"ns":120,"title":"Item:Q972423","lastrevid":50992118,"modified":"2026-01-16T03:01:36Z","type":"item","id":"Q972423","labels":{"en":{"language":"en","value":"Towards constructive DL for abstraction and refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5711938"}},"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":"Q972423$A26C0F35-8333-4AAA-9C5C-8A8E10878F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8acd50ec83dadbf866c5fd5bce59daae0c07875f","datavalue":{"value":{"text":"Towards constructive DL for abstraction and refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972423$6EAEDEFE-6DE9-4574-AF03-0C9480070174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f257a6c1ff3700aaf5b7604f0d3db4fb0a3d6c2","datavalue":{"value":"1197.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$34070DAF-E7C5-4EE8-9A7A-1B3C722C7241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$31D6FFF5-999A-4224-9769-50AAFF5DF3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc9efcc2e74771e5be700695bdb2dc21d0c75e5","datavalue":{"value":{"entity-type":"item","numeric-id":764258,"id":"Q764258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$CEC4C7A2-A049-4C23-A67E-D20247DB4530","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":"Q972423$13429EEB-72DB-4252-8B5E-EF45B18897EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-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":"Q972423$566A1074-2506-4082-A0E6-AA46839F25D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$1B4FDAB5-44AD-45B2-A58C-3F0F39A3E614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$31C73CBB-8336-43FB-8822-B2F72AE42B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4678ffbd1ae88885cdde89a2bd89215eab0bd1f","datavalue":{"value":"5711938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$D9C80BB7-5FF7-4223-84B2-5FCAE86B7C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3f779abcfc875d2acee905a01217e001364883","datavalue":{"value":"constructive description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q972423$554846F0-7BF9-4A36-8830-3E103F9064A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba83cf84c5bec2b4dea5e3446dc44dac2afa489","datavalue":{"value":"Gentzen tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q972423$D738DA99-8FC0-4999-AAE6-BF33A0FD4154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q972423$ED9FE0F6-D596-4DBA-9711-3D493D9A1D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f6390ab59a0b439896429f734c758956b8d90","datavalue":{"value":"auditing","type":"string"},"datatype":"string"},"type":"statement","id":"Q972423$0A7C4607-5C1A-4A88-B3F6-F69C9517ECE6","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":"Q972423$54CE2350-1AA5-4D1F-ADD4-8AA813E16DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d515ffcb400ebd0fc635b72b24aed3e1bacff53","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9151-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q972423$C4A52C30-AB05-4699-A47B-E9531D25D3F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d848f82940b7bd8ebcb4e9509e4b8cffe46e32a","datavalue":{"value":"W2085690665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$0AE23C9D-A756-4806-83A9-02CB803F0792","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$580E81DE-3863-446B-B97C-773F3B5AB2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e804d7aea2d1418057c94d927a03053fdf3435","datavalue":{"value":{"entity-type":"item","numeric-id":1601879,"id":"Q1601879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$C97B094F-6467-4BAA-BDBE-1D23A9837B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$C038553C-F120-4AF8-8CBA-EB8ACF0CB68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$D084BCDC-F4B8-43AC-8983-304CD1167877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d370201fecf60ca6764a769763f51621962b38","datavalue":{"value":{"entity-type":"item","numeric-id":4823806,"id":"Q4823806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$34EFE7D8-C9E8-44C8-8615-5B587C7849F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$94A91C10-A2F6-49B4-AB30-461D728D9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$A62FB060-3AED-41F4-9AED-E701B5092182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd17458bf8d1e493ed82866177a94bc679af49d","datavalue":{"value":{"entity-type":"item","numeric-id":3524915,"id":"Q3524915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$836CE732-EB79-425C-A3E6-70AB42ABD286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a0ddb2f7794ad7c828b48c586e70a0480a4a27","datavalue":{"value":{"entity-type":"item","numeric-id":972423,"id":"Q972423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$705147E9-14A2-45A6-A5FD-7F3F1E4517C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$A94AB087-D5B0-4793-A5CC-1603D498317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cc731ea8cde283851c25bcb96915051ac50f92","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$13D0E34E-05D7-42A3-9516-77EBDF6F8F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$3A1B1EE6-D681-4688-8151-68D105D2784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$FB8DAD17-861B-4D8A-B59E-70542EED1CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972423$3A1D7475-D0A8-4AC9-903A-396484DC5EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a02502cdcd9041c2cd336ac828ec8ffe25c27fc","datavalue":{"value":"10.1007/S10817-009-9151-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972423$6CCA8AE8-D5B8-4B2F-A7DA-8A9875BC69C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c23c0805d13438493581faf2a206b6fd134e88b","datavalue":{"value":{"entity-type":"item","numeric-id":4930754,"id":"Q4930754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f832814ee73922b1a36a058f6544add02eb4b4d4","datavalue":{"value":{"amount":"+0.8561944961547852","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":"Q972423$A035D76D-8F7F-42F8-A8D9-290180566D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7159edf1302f2f95693fc0f94f231850d654a1","datavalue":{"value":{"entity-type":"item","numeric-id":2901214,"id":"Q2901214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb1e6c6326a99929f008d8df6c4ddee853605f2","datavalue":{"value":{"amount":"+0.8103556036949158","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":"Q972423$6DD6AD19-EA5E-426F-834A-06D1F0B0C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed2033e5757d76dc59c578b2ca81a2ff4a37532","datavalue":{"value":{"entity-type":"item","numeric-id":4686513,"id":"Q4686513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e40e9bab25bb9b3899ae700d7b75fdc611e5fd","datavalue":{"value":{"amount":"+0.7868548035621643","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":"Q972423$5745AD82-B02B-4E63-956B-276F21E5289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec78693d0ea565e27ccbd8c416acf353eb030ba3","datavalue":{"value":{"entity-type":"item","numeric-id":972431,"id":"Q972431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13022122413a372bfdbc78797d99d5f68c93e735","datavalue":{"value":{"amount":"+0.7841028571128845","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":"Q972423$7FD93DB5-AA1F-4ABA-A9D8-B43F10FCABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109242f8bc5801b5ea519a072f8a87dc8db781a9","datavalue":{"value":{"entity-type":"item","numeric-id":3400566,"id":"Q3400566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22711f8932167825b51044861c9ecffabef48ff","datavalue":{"value":{"amount":"+0.7771193385124207","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":"Q972423$2DB79E18-D9EF-4F10-BD10-AF0D7D3C85E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:972423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:972423"}}}}}