{"entities":{"Q2863871":{"pageid":2874591,"ns":120,"title":"Item:Q2863871","lastrevid":51885005,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863871","labels":{"en":{"language":"en","value":"A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235737"}},"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":"Q2863871$8CCBD340-BC4E-45A8-B218-3CD47B1BA84C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cb0a506fe3c8f25b128cfeb35c4c588d65a3eae","datavalue":{"value":"1276.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863871$0E542342-0F2B-4A39-BC49-E9421A162853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b030fb2d8db5f345065a1aef37f31a710ce7bdee","datavalue":{"value":{"entity-type":"item","numeric-id":2863870,"id":"Q2863870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863871$543F1AED-1184-42D3-854A-0C1F5C579D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863871$940B1F5A-5FF4-4AEA-AD3A-10FC1BAD2254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863871$C67D1172-819C-41AD-92F4-B8F6E3289D82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863871$1E438F45-72FB-4CB8-9B19-07C0D6AF9472","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cebf9763fd6127f2a49f54cc494a1f49f2e408d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600034X?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863871$071362D3-79E6-4301-BA94-4826C1D13CE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863871$FEE1BBD9-5E68-4E76-A3A4-8C7930DF4537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863871$13A2D347-4661-4910-94E2-CFA419A66624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863871$D0A15F68-8890-45BA-83E1-A4A9C35767A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c8d504cd933621d721d0462b2dab2c7a4fe0a8","datavalue":{"value":"6235737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863871$63B4077B-0EFD-4F42-912A-BCE9D88BBC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863871$951A861B-F349-4E24-B881-796DA4E9CEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863871$5840E8C8-62AC-4B8C-AE52-A2F65371B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605b2f55fee1d330f9b0a6d3ed1a3e9df8bf68b3","datavalue":{"value":"observational transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863871$33C02CFF-0FF4-483C-9A27-E52E06EB8AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e02549803d42838f02672be445b7a6fe74080f7","datavalue":{"value":"proof scores","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863871$2087F8A7-5D98-44F0-8EA2-C3DA66A8D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863871$75487077-C3BD-41E1-943F-2E4D14798D20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863871$4E291BD0-DA40-428B-B22E-3CF55879A6B8","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":"Q2863871$E1C593AF-78D7-4B47-ADC3-03C75C1D226E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f387744d26a4ddefbf708f5c16b62c15816fe09","datavalue":{"value":{"text":"A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863871$DA96373B-F11C-47BD-BB32-E30C53F86565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bb9d87dfca15f9f91465c3f5882ccb143ee83c","datavalue":{"value":{"entity-type":"item","numeric-id":5403084,"id":"Q5403084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d42e5e3f5cb72c9aed1f412ab4707403345a82","datavalue":{"value":{"amount":"+0.8027843236923218","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":"Q2863871$F962ADBA-ED9A-40CE-8B8A-3ED5E03E4769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25736883009efaae8de8977a8e3f10e459b60b2c","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1fe1c644869d08dc443a3127f7cf59e43643c7","datavalue":{"value":{"amount":"+0.799078106880188","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":"Q2863871$0D29FF1C-5C71-4A1B-A308-F2FEBBFE8B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d2b4769664aa347621d9e90eb4935a3e8f2907","datavalue":{"value":{"entity-type":"item","numeric-id":5757932,"id":"Q5757932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1143c05ac085836c5188b44ffce1a2dd51c9464b","datavalue":{"value":{"amount":"+0.7854589223861694","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":"Q2863871$4D359C75-D4DA-4559-9558-B2BA8BCE3FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b56e97bb40511e5826c664071220970d165b082","datavalue":{"value":{"entity-type":"item","numeric-id":2945712,"id":"Q2945712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4ba347eb3f0c4849696b40413c94a96e8367f6","datavalue":{"value":{"amount":"+0.7580358386039734","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":"Q2863871$5F6A0B6C-8A8D-402A-9133-A40703B87C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697e35a29eb033ce61d01130aff3b086a815d26","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8c6789af971f33bf8793c8e7d063690d60e8e9","datavalue":{"value":{"amount":"+0.7244215607643127","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":"Q2863871$A1554A7F-E385-4C0B-AD62-892B701B1A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863871"}}}}}