{"entities":{"Q1697091":{"pageid":1707832,"ns":120,"title":"Item:Q1697091","lastrevid":53021366,"modified":"2026-01-24T01:33:05Z","type":"item","id":"Q1697091","labels":{"en":{"language":"en","value":"On combining algebraic specifications with first-order logic via Athena"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839289"}},"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":"Q1697091$0F0B6641-A8A8-4FD7-879C-5C6461D8B8D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63b879f2109575f12dd92aa40b5374e22dd2f5f9","datavalue":{"value":{"text":"On combining algebraic specifications with first-order logic via Athena","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697091$AB14F2B6-7B13-4A4B-900D-76E66495F014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"643b86af7a624ad65bd642cfe8053ae637f6f56a","datavalue":{"value":"1380.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$7987A57D-BFF5-468B-BB7D-21AFF9116BA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894cc5d5217f4ac82418914db0a4d134ed2dd6b9","datavalue":{"value":"10.1007/978-3-319-68103-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$D80D9C1E-C0D7-44FE-8A76-F5053DDB4994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef48fbaa514da0f0adc26213d7a57ae77db7e353","datavalue":{"value":{"entity-type":"item","numeric-id":1697089,"id":"Q1697089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$E7B9ED9B-08A1-4739-829C-EEA5C6E0233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f69c4b2a64647248ed2edbcda71df546df8699","datavalue":{"value":{"entity-type":"item","numeric-id":1697090,"id":"Q1697090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$85571026-AD40-4353-AE15-8E1D8D476BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed08a608b0cad7875b65422876c04080feb987fe","datavalue":{"value":{"entity-type":"item","numeric-id":1697085,"id":"Q1697085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$3809DDB0-90F4-4090-A4C0-1C8880426209","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4c6e94e4207d62ceaab1dfe6120b87902418bcb","datavalue":{"value":{"time":"+2018-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1697091$7E3D4ADF-8E3D-405F-897F-CFF88AB5D5A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$8A7645F9-8715-4E6A-AFCD-868E940EAA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$25484DB6-6C06-4296-8135-A95C46EB8BA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d993daa6fdda0ec755ac88640c1b1bc3095fa536","datavalue":{"value":"6839289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$51895819-23CA-4103-89D6-47A73D4F97BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$C1180924-F6EC-40BA-A3CF-B08ED508C6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$7A85A811-5BF0-4576-A60D-294670142B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076383373d48469adfa9226f1a2d9d1b270b0e7","datavalue":{"value":"observational transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$866C2E60-875E-49AB-8A26-E88AD09D32BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e02549803d42838f02672be445b7a6fe74080f7","datavalue":{"value":"proof scores","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$206F242C-38AB-4798-9559-6D789039D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$07193FF3-3433-4B83-BC0A-AFE7D52FC844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3098167de6a719b7183cdbe3f90f983d9e51bbce","datavalue":{"value":"Athena","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697091$132B2089-57F6-4CA3-A7AF-630857FC7C3F","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":"Q1697091$AA3672E7-A165-4649-BB8B-67ED18FDF90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$9CB1C9E2-1EFD-4C69-9A17-AFCB0F27B8B8","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":"Q1697091$62056335-0726-461F-ADAA-96A70EB3328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$A06A4780-A015-4AE3-88E5-73F29DBB065A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$99AB3884-E13C-4226-9CF4-F4D2FBFA927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0abd76723da9bc6b7525227a30180cfcfaf7cf59","datavalue":{"value":{"entity-type":"item","numeric-id":21944,"id":"Q21944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697091$B2092040-6652-4D1C-9182-32E51939D2FA","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":"Q1697091$1ED8D3F3-9C8D-443D-A89C-C3FB732EC7CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ecd56c634785e2416b37f33d65fd46b1cff2578","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68103-0_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697091$48622E6D-376D-466E-BEE6-6D9C239C7858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64203f55eaa6d4a5359117d2944275b7badf66dd","datavalue":{"value":"W2774258213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697091$6C4C87E4-6C93-48A5-9B8C-B4289E0A158E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f4518654934f187f3436eb9974fdc3f855eb86","datavalue":{"value":{"entity-type":"item","numeric-id":4472180,"id":"Q4472180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11298c5557800be6ba6489b99dec039159c1587c","datavalue":{"value":{"amount":"+0.7216306924819946","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":"Q1697091$68386A46-6416-460D-87AE-711484105902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09407a6dead0df124b6be49dafa22205d62162e","datavalue":{"value":{"entity-type":"item","numeric-id":3723679,"id":"Q3723679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c767d2e2e4540c0777c35a46c14a1368f6428cc6","datavalue":{"value":{"amount":"+0.7035385966300964","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":"Q1697091$6A9E8640-F4FC-4974-ABDE-A795BF303C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe520b881e25fb4c4c8a205177018870f594e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5394197,"id":"Q5394197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eead9e6bb99b8463a219f27ae9d04cee4b063ed","datavalue":{"value":{"amount":"+0.6992324590682983","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":"Q1697091$1A5BFAB9-E702-48CB-8C30-6FB26268C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ce37cdcbfcc7383350983ee8324db8eca7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a50a9f330fe0bb49a0cfc02bd48e40430877ad","datavalue":{"value":{"amount":"+0.698850691318512","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":"Q1697091$008EB5CA-E3B7-4470-9364-FA4A09DD8918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce35a2de932330b2b03afc04f0f971a5c9229d68","datavalue":{"value":{"entity-type":"item","numeric-id":4247083,"id":"Q4247083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a50a9f330fe0bb49a0cfc02bd48e40430877ad","datavalue":{"value":{"amount":"+0.698850691318512","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":"Q1697091$794D535A-D8CC-46FF-83C6-3BDAAC2D8569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1697091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1697091"}}}}}