{"entities":{"Q1798941":{"pageid":1809683,"ns":120,"title":"Item:Q1798941","lastrevid":53239202,"modified":"2026-01-24T12:58:04Z","type":"item","id":"Q1798941","labels":{"en":{"language":"en","value":"Using the Isabelle ontology framework -- linking the formal with the informal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957955"}},"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":"Q1798941$BBEA79D7-0F87-4EC6-9CDC-1C610F7CE11E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad759995ceefeb8855a6a911b3d941652047226f","datavalue":{"value":{"text":"Using the Isabelle ontology framework -- linking the formal with the informal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798941$4C1C54AD-E99F-40F3-AC95-B8CFE34D685E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3434a29c6e9b964dcfa430c995802c0c44a88b1b","datavalue":{"value":"1417.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$E4E3DE0B-20E8-481E-B162-6620E8EF5D88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b1d1ed289df9df91008f80163170484b1186742","datavalue":{"value":"10.1007/978-3-319-96812-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$E1FD5598-AA8F-4F82-B943-F69B83C69B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$4CD6B5A0-68DC-4082-9A59-98DF218B98A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170c341867c679ab5fad2263bdd0d04fd5e988be","datavalue":{"value":{"entity-type":"item","numeric-id":1798939,"id":"Q1798939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$D46FD984-ADD4-43D7-91FC-3AFA3398FA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b369edb758969e61448367e99897b2622aed3887","datavalue":{"value":{"entity-type":"item","numeric-id":1798940,"id":"Q1798940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$25F48510-ED2D-43FE-B2C1-49A859250F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$DBCA24EA-54FC-4B33-862E-3E945732C0E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798941$69B0276A-7ACC-4376-AA4E-0B4D875AFD0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$9557906E-BCDF-4265-94D9-994CF248F6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$0D3E67CB-F9C1-49DF-830F-5BD393E38DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa61adcb053b53dc689e20ce07dd1ba0a9c14fa","datavalue":{"value":"6957955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$B3FA9010-1C27-46A8-88F1-A12D9C38ADA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798941$92F659B5-59A2-40AE-8E18-A966098D7F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27f6eb869cdd09aaf47fae3d85359d19f34b8d4","datavalue":{"value":"ontological modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798941$116D8AFD-E8DD-433E-B9C1-582ADC37CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f41f3632a3a24b5f70bbc28e78c9df69c97f5c4","datavalue":{"value":"Isabelle/DOF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798941$8D999354-ADF4-41B7-8D81-78566279C414","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$5043B2F8-03AC-416E-B44D-BB528773C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2f45492d0a9ee38c7f6f7ea29a7881599069d9b","datavalue":{"value":{"entity-type":"item","numeric-id":13519,"id":"Q13519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$F3003F08-9377-49AE-8FB3-2C68DC874964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$F064C559-92E2-4CC1-A07E-12A447B1D73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7586dd2f9630ea9876567477c63eade3b96c7904","datavalue":{"value":{"entity-type":"item","numeric-id":29370,"id":"Q29370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$65AE0C67-50AD-403A-A63C-B4F3BFBE5B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acadea4c173e58f3cb85ecc95af440156dd2a85d","datavalue":{"value":{"entity-type":"item","numeric-id":43070,"id":"Q43070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$4FC1BBBB-5213-4C5A-848C-C6047B20543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63a190acc921e4875c188f433fb04a58aa8ff180","datavalue":{"value":{"entity-type":"item","numeric-id":43071,"id":"Q43071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$DE38066D-0AF4-464D-9DA8-58AB100C0206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0745892636db97a3c40bfa4b8e395a331b282e4c","datavalue":{"value":{"entity-type":"item","numeric-id":31279,"id":"Q31279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798941$9FD07B45-8FFB-43C2-9E93-9E2AD9C6EF3D","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":"Q1798941$22ACCAFB-92FC-4318-9FBF-1B956F371925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8aee9b7fa14ef598b5d4327e5db1a66e04972a7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96812-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798941$596CD713-23C1-4725-B9EC-8483E1EAC194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7559e5a650ab5369a7e0a4bf09b8c8c669e4aca1","datavalue":{"value":"W2883194143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798941$3E5D71F9-BFE8-4AA6-86FC-BF232A30D089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07729a43a3c0196130b51b292177cea3329487a1","datavalue":{"value":{"amount":"+0.7982189655303955","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":"Q1798941$D9220836-05DC-4C55-AA08-9318BCD9AAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353f83759ee34b781b1cadc49c3f90042799760c","datavalue":{"value":{"entity-type":"item","numeric-id":5200122,"id":"Q5200122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739b4e93024defb7c44ffbaf1d8a67377bd65f04","datavalue":{"value":{"amount":"+0.7733250856399536","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":"Q1798941$E9C389B4-270A-4F24-8761-DD9FB961165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1aaa64d3dda2bbfe06298641ab8804aac6254b7","datavalue":{"value":{"entity-type":"item","numeric-id":3523187,"id":"Q3523187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0208a04c6fc9d306f4227d70ca89709c7994b9b","datavalue":{"value":{"amount":"+0.7506504654884338","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":"Q1798941$3830E411-42C6-4451-BFDF-E9E1EF2DAC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df287ba4711af7eb66eb6c4530853de65788cc26","datavalue":{"value":{"entity-type":"item","numeric-id":2287890,"id":"Q2287890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ace4ae5ef667eeec74805237f9cd3b823923aeb","datavalue":{"value":{"amount":"+0.7490261197090149","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":"Q1798941$DB2DCF8D-A106-48AB-B345-42D1BB2E9956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a02b2bfea1c5f47cd601f5ce8d9525ee86d87fe","datavalue":{"value":{"entity-type":"item","numeric-id":5219926,"id":"Q5219926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0768cbf835afce956ec241d61b21da7fec625f9","datavalue":{"value":{"amount":"+0.7272626161575317","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":"Q1798941$73E29FB7-DD63-4F5A-8A51-723FD9C990D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1798941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1798941"}}}}}