{"entities":{"Q1601244":{"pageid":1611984,"ns":120,"title":"Item:Q1601244","lastrevid":68012001,"modified":"2026-04-12T20:51:12Z","type":"item","id":"Q1601244","labels":{"en":{"language":"en","value":"Combining component specifications in Object-Z and CSP."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1757465"}},"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":"Q1601244$1FA5CAEC-91ED-469F-8182-3D1AB1147EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60f205b97727beb5c9e9fd4d31db15a2ebda7768","datavalue":{"value":{"text":"Combining component specifications in Object-Z and CSP.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601244$17B4E134-A327-4CDB-9213-2CD6923FB92B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0f3dcb9c1a43aba80c59ca2b98ae3be30747729","datavalue":{"value":"1073.68676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601244$81AC6FC9-B75D-46B4-8AA3-1DB2F3119D9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601244$3B951647-3059-4F0D-9154-623E7F7B8835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601244$336DD63C-1D36-4BDB-A732-9904BDE642DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601244$D9C0DC6D-D679-4710-BAD7-24C5F996EE2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1499fc920b3ce6e459673c257729080eb3a13dc","datavalue":{"value":{"time":"+2002-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601244$EB1DBEBC-12CA-4571-85CE-84D960B3BCAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601244$E7A79C2A-6640-4B4B-A673-628B729CDD30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45a5f6be1912508a7a292d4cd6782dda679b7261","datavalue":{"value":"1757465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601244$8379EEC3-EB86-4B6B-9E31-574CFDC398D7","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":"Q1601244$9288F84C-059B-42F2-851D-DB316C028635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"393ecbab9840810337d71cc8d2d317c6422e48c0","datavalue":{"value":"https://doi.org/10.1007/s001650200002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601244$52DBA9B0-0CD0-4F20-A4C0-89D599144A76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70faba6eaa88987a001243386593b8d36b435ff5","datavalue":{"value":"W2017832765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601244$1274FFDE-1D92-4993-A7EF-808A6B84E363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c66eaa3d9777ffcecd76ea2d338bd2471c14efe","datavalue":{"value":"10.1007/S001650200002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601244$2D080FBB-6ACB-4295-8101-27A227ABAC7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290387c1591fe004c854132dd1b9838ce6bcf3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4494251,"id":"Q4494251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6be9a978e00080698e6eec78b407b2f18fde19b","datavalue":{"value":{"amount":"+0.9144847393035888","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":"Q1601244$53391585-FD48-4FF7-A225-B56EA2EB693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63a32ad951a9daaa5f01231624781a8a96a26f9","datavalue":{"value":{"entity-type":"item","numeric-id":4494253,"id":"Q4494253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6be9a978e00080698e6eec78b407b2f18fde19b","datavalue":{"value":{"amount":"+0.9144847393035888","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":"Q1601244$683DA59C-E2A5-4226-9BA8-7867BF66E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebde5f996af3baf66ced1a79e1de22f08b4455f8","datavalue":{"value":{"entity-type":"item","numeric-id":706503,"id":"Q706503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69188488a94b87f3db549ab084987cabf07b5cf","datavalue":{"value":{"amount":"+0.7864696979522705","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":"Q1601244$2FD7B13D-4975-4F81-A90F-3310953E0B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5036f4fcdc5e6744984e85371eeff325b0c173a9","datavalue":{"value":{"entity-type":"item","numeric-id":5943269,"id":"Q5943269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8907aa6c51ada2c14f8592fc22e2d089a68894","datavalue":{"value":{"amount":"+0.7735835909843445","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":"Q1601244$E578856C-8285-45B0-A72D-ACEF349CB821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9abe5bfd4955525be66ecac582dce724cee4aa52","datavalue":{"value":{"entity-type":"item","numeric-id":2894575,"id":"Q2894575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8907aa6c51ada2c14f8592fc22e2d089a68894","datavalue":{"value":{"amount":"+0.7735835909843445","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":"Q1601244$1C3DBC9E-E915-4F3D-9219-A228CB7CDE5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining component specifications in Object-Z and CSP.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_component_specifications_in_Object-Z_and_CSP."}}}}}