{"entities":{"Q5287565":{"pageid":7317139,"ns":120,"title":"Item:Q5287565","lastrevid":46349265,"modified":"2025-12-24T15:06:11Z","type":"item","id":"Q5287565","labels":{"en":{"language":"en","value":"Logic and Algebra of Specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238028"}},"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":"Q5287565$70D54C65-4CCF-49C9-B33C-04A9A7187061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c752b729444d2715d62f50c93681564fe3c5cee","datavalue":{"value":"0818.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$D49FB58B-CB58-4CA9-8291-37766DE37233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f053e77370fc5d219a47812b257f153b1d785ef7","datavalue":{"value":{"time":"+1993-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5287565$C9A390DE-645E-4F03-B3A2-CB89A051BD18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$E476C503-9CE8-404D-9F9B-BC18AF949301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$4E7B97BB-7C54-4A6F-A1B5-11BB85E4473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$007A0892-C3F5-4678-8B24-BA22115CCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$DB9B8148-57B6-4E81-9E97-58C05CEC74F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44cff9dc16140382e69fe2747697d3709e6d8ba8","datavalue":{"value":"238028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$59500741-6E1A-4A5F-A41C-9A86A1582420","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c961150b53ac43cf50f085e86bb0d03472d76bc","datavalue":{"value":"polyadic \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287565$AC602193-15E7-431C-807E-B81C68B35218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287565$4A41CB31-027B-474A-A34B-11F499716691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b88051aa9b5ae73229bfa9ab30c3d7ac4e5c9d4","datavalue":{"value":"infinite synchronous concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287565$AE95239A-6781-478B-A80E-F16337B2DD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4e03e99f3d334813a79e469631f3a36d7d8102","datavalue":{"value":"finite algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287565$DD7DC6CE-6A68-476A-9238-9094E41E4047","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":"Q5287565$1560D7A4-561A-4EC6-B373-235BA74A1C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cad92fa94938a3def31e94848fcd2e7ddc8222c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-58041-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5287565$93B87C5E-03DE-4643-AAB2-B6A19D1CAC44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93eb32aa01750ac1604927d7f1b66a5d8643c4a3","datavalue":{"value":"10.1007/978-3-642-58041-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$2D2D134A-4296-44DA-B1E4-99B7462C0EAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bd2edb7ee2db2a88ca918d0c5976e5d2c35a080","datavalue":{"value":"W1938739028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287565$24179408-E64D-493F-8B9E-6D79AEF89D29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92856538d909b4bc80dd34f24c6e026b11ea84ef","datavalue":{"value":{"text":"Logic and Algebra of Specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5287565$039FB543-5CDC-4FA2-B7DF-8B45D200DBC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423e2f8d5ee14f786cd43d151ccd13b0ad21db01","datavalue":{"value":{"amount":"+0.780299961566925","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":"Q5287565$B2CD6A9F-C20C-490B-A59E-A0EA65893D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309fface5891ac08054d5431747c82827881421f","datavalue":{"value":{"amount":"+0.7748456001281738","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":"Q5287565$2D65A032-51F4-4F4D-AF3D-12A4EF882ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703098d28f9d515f26515b8f0364c519314d5033","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59fa2735f121438d126ef07043e7fab7a2e90392","datavalue":{"value":{"amount":"+0.7704440951347351","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":"Q5287565$5357F2EB-1EBD-4232-BE22-54E600042AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287565"}}}}}