{"entities":{"Q1895412":{"pageid":1906154,"ns":120,"title":"Item:Q1895412","lastrevid":69392379,"modified":"2026-04-13T06:41:39Z","type":"item","id":"Q1895412","labels":{"en":{"language":"en","value":"A generic graphic framework for combining inference tools and editing proofs and formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 786284"}},"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":"Q1895412$5D9D0C37-8C67-499C-AE7F-9F6E1A7FEAB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4564d90cbac6d5e8f4c22e957abc7c8880ff14f1","datavalue":{"value":{"text":"A generic graphic framework for combining inference tools and editing proofs and formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895412$3D9BB5DA-5BA5-4450-A108-6F2E60136DFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f49195f886d757c4d2d186cded11f0ac58819f9","datavalue":{"value":"0836.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$FF485906-634B-4730-ACC3-5FDA05E75D56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$00AE1080-76BF-4E29-BFB0-3D7E97685BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc9b5e0eb0c5b58b2ea53314f3760c8f93867fab","datavalue":{"value":{"entity-type":"item","numeric-id":687152,"id":"Q687152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$755E6BCF-457B-4AFE-B434-2BB6C51BF54A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$DF608711-E257-4C50-AAA2-88C6F99A1F39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a25e2bbbcbcee29f86a5197d9b4d5849898c2674","datavalue":{"value":{"time":"+1996-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895412$EE1A3125-54DF-4F9D-851C-3FCD76B0B3CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$924C9826-5A0A-44B6-8A27-C189C95E9C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$40F1E91C-7CC8-4C6C-A479-AE68312DBA72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d77ba3260465de0f04bc142bc2007031c1c7cf4","datavalue":{"value":"786284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$6340820F-E5CC-413B-BA19-7B75E321E9B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbab8aa68cfd17e9d244df90154ff099395979","datavalue":{"value":"calculus of construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895412$2138A948-2244-4F17-AE69-A395FBA569BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8e8fba929b0239c3b04a7e32b48e1d642be17a","datavalue":{"value":"inference tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895412$C5B0B94C-5244-4303-8260-8E7C4C4FB636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937075fb1003c644094c15f8d5c2968131dd02d7","datavalue":{"value":"editing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895412$69244ADA-72E7-44B6-B02D-7AEAF56EF8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41e4be0bb5147c467a408cdbf25c9cc20f7e37b","datavalue":{"value":"checking proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895412$52175444-018A-4E58-957D-5E8F0F8D05E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$F0433670-E065-43E4-82E8-A6B59E122712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$3757FC78-BA54-4ECE-80AF-11B3F264F592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$55665BE8-5905-480A-8900-F2AFB37FF979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895412$7C34E99A-5572-413F-B78B-EC76EE3676F4","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":"Q1895412$C7F78955-0678-4555-BA46-821F586E44D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb1bb25919a9dadb0b84dd5eeecc78d0c9bca9af","datavalue":{"value":"https://doi.org/10.1006/jsco.1995.1013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895412$C1A26DA5-425D-4EA1-99C4-66522F47954B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dee72726cc1541cbf87813f425484df6f28ad6b5","datavalue":{"value":"W1969922231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$5C7B8BC7-E1B8-4BB8-8D0A-5E00274A3656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c99f4b7197f09c8bc83dc088a48b66ef132baccb","datavalue":{"value":"10.1006/JSCO.1995.1013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895412$4C3E63F0-3CD6-4F25-B8DA-9A8613BE7E7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d73f39f270930c50372d27abce923aee4be3de","datavalue":{"value":{"entity-type":"item","numeric-id":4279075,"id":"Q4279075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fc2e23f345611eb31f1ac9cc0413eb81bb0819","datavalue":{"value":{"amount":"+0.8479509949684143","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":"Q1895412$59C6CD29-E0A2-4BC0-A3E8-024ACCDA3382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e76a59e499603d05c417a9badfc64805a9f34ca","datavalue":{"value":{"amount":"+0.7481456995010376","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":"Q1895412$31F8349F-604D-4A26-98E8-0195F8202B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72684c9b287758706928e3c04d081a42aeb9d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4342457,"id":"Q4342457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9569a1f8f01fbb6fceff52e44b5b4612738148","datavalue":{"value":{"amount":"+0.7460829615592957","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":"Q1895412$53113E55-DF0C-4F20-AD7F-55103EA25397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad20c823504330711c7e03204434544d918e40","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28175d9874aa837227798d52ff4bc6d858bfcfc3","datavalue":{"value":{"amount":"+0.7366742491722107","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":"Q1895412$C91E38C4-D8C5-4480-82EF-9EBA4CA26B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da84c7c93a8b5dedbdfa14f684825f00640b629","datavalue":{"value":{"amount":"+0.7270199656486511","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":"Q1895412$332FA849-E935-48D3-89BF-3809A4AC0E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic graphic framework for combining inference tools and editing proofs and formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generic_graphic_framework_for_combining_inference_tools_and_editing_proofs_and_formulae"}}}}}