{"entities":{"Q1929233":{"pageid":1939975,"ns":120,"title":"Item:Q1929233","lastrevid":51626450,"modified":"2026-01-19T03:28:33Z","type":"item","id":"Q1929233","labels":{"en":{"language":"en","value":"Principles of proof scores in CafeOBJ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122468"}},"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":"Q1929233$0F5E7E74-9518-4871-B884-B87AED657545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90ce7f8acff9ed8019e1ebe22526c022f4487771","datavalue":{"value":{"text":"Principles of proof scores in CafeOBJ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1929233$1AFA39FB-B640-4487-83B5-D1CA434E2248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3afc6305bb1dc296d669bbb0a7c1c9946ca694b3","datavalue":{"value":"1253.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$E5985F9A-8F61-4343-B1A9-BB48A41A67FE","rank":"normal"}],"P16":[{"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":"Q1929233$9BCC51A9-DF3B-4DBC-BB75-9EDB82E95527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$AA528B2E-ECF0-4C49-B531-76078CA424B2","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":"Q1929233$B3705943-D185-4A0D-8A31-2B26AFE737D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$47DF0978-91EA-40BD-9C6C-C82DCFA1291A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1929233$59DC1C9C-65F6-48DD-A79C-D5094E4E3F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$6F6AFE19-F971-4BA2-882A-6AA85C5BB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$63FDBEC0-6AB7-41F7-B6AB-F000221BE5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$24543733-AF82-49DE-9FD1-21F92DF8A20C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fddab0b77e06a1b180b8cf4dd6de972287f5435d","datavalue":{"value":"6122468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$9B820C54-B68D-4DBE-9BDC-DD302987AC1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929233$2280180C-6DB1-4B48-B027-5A4E0567949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929233$6A4BF7B9-5371-43EB-BA03-DF891EB50A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929233$9DD74075-806E-4671-90BF-9CEC0EE9FC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e02549803d42838f02672be445b7a6fe74080f7","datavalue":{"value":"proof scores","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929233$ABDA89CC-21ED-4B89-98D8-ADA9FA2D50C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929233$2A106138-0CFE-4C6C-ACF0-C3960D82D93D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$7911A496-B6F1-45C1-B37F-08657F770D95","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":"Q1929233$D1AB7996-F3C7-424A-9A05-DF578E485B51","rank":"normal"},{"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":"Q1929233$4BF9EAB4-E747-4BDC-A3FC-493665B81B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$9EBC342E-BE68-4302-A9F5-D85229DC46B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$4AF0BAAC-36E8-4DC1-9D10-9D42D9BAD088","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":"Q1929233$7DD9ED91-825B-4299-A1E5-BBBB67737DB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adfa4eed68a046c4b1c6823a8b9f04d750ab965e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.07.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1929233$7826C667-CDB5-4376-A446-07874BDB445C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b1747589b78e33f10c3338999bb8114854ba1ae","datavalue":{"value":"W2044923579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$B3429777-C080-4F51-9CC5-4A598CF29BDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$65A431C7-7FD4-4308-8EC7-6B5CE6A4B5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151111f90b57cf604183cb1efbc63c64841eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$A26F3221-9B66-42C5-8C5C-29ACA329A75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51981fc88676757f9fe6497d096eb579f303e536","datavalue":{"value":{"entity-type":"item","numeric-id":4409149,"id":"Q4409149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$3634606A-8E46-423C-9FBC-60CE84F1B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$FEF120E5-1470-4031-B171-8773C84672CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0385124c36c7759bccfcea5b79c3526a5b3a67","datavalue":{"value":{"entity-type":"item","numeric-id":5757932,"id":"Q5757932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$55577BE2-14DC-4363-AE04-6CB97697C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0480f55ae08562b72032b65af6d802a47a676746","datavalue":{"value":{"entity-type":"item","numeric-id":2888501,"id":"Q2888501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$46CF6F00-9252-4F86-8ACC-D778E49D4B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$181E2D25-761F-4B05-ADAA-6CAE972F3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$0B0DAD14-A61B-47A4-8629-94CA82D0C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$DEE42FEF-BB26-4471-82F8-B794D91661BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$897E9041-8730-4F6A-B4CA-AF10A15560C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$AE3B8D6B-5F6C-467F-85D6-E06ED1495B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$3A0740C9-7A64-45B8-BFB5-8F8B6541B156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$5C56FCB8-577C-4873-BF6C-70183B4C2083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$722A90F7-B0D6-4822-91C4-D5189EB2D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$CD5D822B-B6CE-4BB7-B34D-A84421089AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c17e9c215d704efa02ed5bd1aa04a456963392a","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$65ADA77B-CFE0-4702-B67D-24D050A60505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac80ba680868d724243519f2e4127ccb587e3d8","datavalue":{"value":{"entity-type":"item","numeric-id":719243,"id":"Q719243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$FABB0008-647D-4FC2-BA3B-F52B24EF3916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b89e721abe1c93891fe069004f92e0e2da8a","datavalue":{"value":{"entity-type":"item","numeric-id":4933275,"id":"Q4933275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$26BE15AC-C003-4C34-B2B9-E7EBA711D56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d97f07ac0995d1b282f16896a4bf73bdecceb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5747655,"id":"Q5747655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$C37016C2-052E-497A-97B6-58D1B7947CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929233$42773C76-EC16-47F9-BBD8-5D9E5549474C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46fe705cbb493e4ab299750c5f20582d223f9ae1","datavalue":{"value":"10.1016/J.TCS.2012.07.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929233$2DCCF7A1-3AF1-4261-AD5A-8012AB7EDAAF","rank":"normal"}],"P1643":[{"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":"bb14099e68e918d6169f25aa4d7752dcb5c6a210","datavalue":{"value":{"amount":"+0.7876541614532471","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":"Q1929233$C5B426EC-0B67-4B43-A36E-D351DFFDCB96","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":"544709801badad6b6f39fbf25c1be89d77d075de","datavalue":{"value":{"amount":"+0.768380343914032","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":"Q1929233$BCA78E1B-87A6-4BEF-8704-33E3884B4E7C","rank":"normal"},{"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":"d5549cdbd9d7fb737a2f37fdd628fa22d865c34f","datavalue":{"value":{"amount":"+0.761433482170105","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":"Q1929233$919BF4C7-C2E9-453E-A51F-A18EA1CF112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829d599ee99f99e8f18209f7fc970f7f62999852","datavalue":{"value":{"entity-type":"item","numeric-id":4680190,"id":"Q4680190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0981bae37bf3634aa1315070f9d428e59bdc1896","datavalue":{"value":{"amount":"+0.7574335336685181","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":"Q1929233$B7331F12-15A6-4C1F-A211-7D882FBF06FE","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":"058eeff7df3909317e95553942fbd0424f89f853","datavalue":{"value":{"amount":"+0.7391387820243835","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":"Q1929233$80AB3F11-459F-4F8C-89D2-0CCFE5F5BCA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1929233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1929233"}}}}}