{"entities":{"Q2277861":{"pageid":2288604,"ns":120,"title":"Item:Q2277861","lastrevid":49489564,"modified":"2026-01-07T07:14:53Z","type":"item","id":"Q2277861","labels":{"en":{"language":"en","value":"Abstract implementation of algebraic specifications in a temporal logic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197441"}},"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":"Q2277861$2E47DF2C-5700-4C2E-9C44-17B828E72D7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a8020b7b797a89430451fe97b33a53d4b6bcc5c","datavalue":{"value":{"text":"Abstract implementation of algebraic specifications in a temporal logic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277861$6AC64EC0-5AF5-44E4-AAFD-CCC3562E5628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a3aa7c1f0e5a2f412808f5cb847569fe9025c51","datavalue":{"value":"0725.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$0EE162D8-7B85-4E66-8F47-DEAEC9965895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22379eeef9bddd2c92d7e56adf68e26c5ba58997","datavalue":{"value":"10.1007/BF02943403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$564F85D8-DADB-46F8-AB5E-5F5E23E92743","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$86F1852A-C4D7-4689-87BC-D37C2EF64802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf695dc95a22397c83a58c36c9ed9d00cf3533e3","datavalue":{"value":{"entity-type":"item","numeric-id":1803301,"id":"Q1803301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$C34B66E7-DCD1-4CAF-8852-64E946FCF545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d60793f393fcb1391edb95d2495f0eebd0c727","datavalue":{"value":{"entity-type":"item","numeric-id":2277860,"id":"Q2277860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$A84B6C57-2B98-4E2F-A2C5-E0D17B9F37E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$20B246FA-D1A4-474C-9F22-7CE8D3C35984","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277861$AC6E2ECC-333E-47C6-B785-8D5836D619A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$685B91A3-D327-4F9A-A1D5-411C2E391FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$06F92CE6-0B60-4432-9D0B-D24951AEA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$80EC1814-E6B3-455B-8BC9-90F8829876E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$E3C0981D-16EF-458E-A672-9C4F206B9E06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f8b1cf40091c426488fd95c195bcfa3f2d8b668","datavalue":{"value":"4197441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$32B36C24-E04E-41D7-BFF5-88A2C307B2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52719d7c88b1bb8b218f0fd21a4c77be2503361f","datavalue":{"value":"temporal logic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277861$A949B0F1-08F1-4896-800F-088934190C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277861$EEA89827-FE5E-44A1-8F03-1314BCE83825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424ce7f858be3b73f006cc5b080a14ca0e9b71c4","datavalue":{"value":"abstract implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277861$A7C3EDF0-9A52-4281-A9B2-A726BCAFBFCC","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":"Q2277861$95FE51FD-F1CB-4A7C-AC36-D0B5AE387AE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$4240D1E1-7E4F-4FAA-A510-C7A4FED46DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$24D33F4F-73FD-4E8D-9B48-CE2E2807893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$19E958A3-BE34-4348-AE1D-40B74A72504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$5CE9982C-929C-463A-8C86-E4A9CF9A4908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$4680015E-045D-4C00-92AC-65BF19079A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$44C20018-0141-4D80-A4D6-9ACF41B8A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$3355E4D1-63C1-45E6-AB4B-5301D1EE7870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$531F2822-30C1-4D1B-8A81-EDC95640BFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726ad54e2155221f4aecf305e14ca849d6a3136b","datavalue":{"value":{"entity-type":"item","numeric-id":1161277,"id":"Q1161277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$1523DCD6-75EF-4EB2-93CC-EF9D887E66FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcab8c14284436b5284309c65bb432f9fbcd6e67","datavalue":{"value":{"entity-type":"item","numeric-id":3763570,"id":"Q3763570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277861$27AFBDBA-9AC0-4918-8EFB-9E72860FD68B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e11a038312d3015a100c0d166116a8e92addab0","datavalue":{"value":"https://doi.org/10.1007/bf02943403","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277861$868CF8E7-A499-4D76-91FD-ABA26F855371","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e90e0c0038be201d8e7bb7a955cfe2243231c31f","datavalue":{"value":"W1997183294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277861$65D6A01A-ABC2-4399-A9CE-1AA302869EFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71563748d527d1312e039b38a060595655228b96","datavalue":{"value":{"entity-type":"item","numeric-id":3785898,"id":"Q3785898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ea1e2e36a15059abbcaf529741b7e86ef346b3","datavalue":{"value":{"amount":"+0.807520866394043","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":"Q2277861$EFC60C98-AFCD-44CF-B22B-C43DCF28C7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859d8d67e5f7b2d78f5f3386f43eeb285b246a51","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6c1d947a8b8e71b831a621726d800403a3c432","datavalue":{"value":{"amount":"+0.7825368046760559","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":"Q2277861$6F664717-2010-4B5D-9101-206486FD9EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9379b1bffe85a86cbeccfba237f5e3dc55224b9","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c85568bf80b1f5559521aca497c604fdae1bf5","datavalue":{"value":{"amount":"+0.7785423398017883","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":"Q2277861$F0F98377-7C3E-4903-A37F-D276BC81822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62d6c3f29c932c3b884649594c8f43fc822e23","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2a430a3ea2ffe3a157ed4448c0294a049c61bb","datavalue":{"value":{"amount":"+0.7779121994972229","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":"Q2277861$0D0477A9-CFFC-43EE-930F-C90CCF0D89F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614330730c2a1e47d95f3d44168323a91573962","datavalue":{"value":{"entity-type":"item","numeric-id":3707387,"id":"Q3707387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c236812a8bf58489fca5bd95eb80decf24878258","datavalue":{"value":{"amount":"+0.7767194509506226","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":"Q2277861$F1F1057B-03C8-451D-8FA9-4F8228E2C65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277861"}}}}}