{"entities":{"Q1630044":{"pageid":1640785,"ns":120,"title":"Item:Q1630044","lastrevid":71585610,"modified":"2026-04-13T23:13:38Z","type":"item","id":"Q1630044","labels":{"en":{"language":"en","value":"An abstraction technique for describing concurrent program behaviour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6990591"}},"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":"Q1630044$4AD24DF5-1C1A-4FC0-9FE3-29B189E6E393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3564f904a6991fa2804e80479fc3cb3312507456","datavalue":{"value":{"text":"An abstraction technique for describing concurrent program behaviour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1630044$F71E071D-08DC-43D5-A0F7-557EF450B2F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"992a99af083986bed0432797735458907066dda7","datavalue":{"value":"1403.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$873370F8-4C04-4998-B99F-9852080F2BEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1cc8bd0a87ca1e8064cbd58aa0d95922f3a6b14","datavalue":{"value":"10.1007/978-3-319-72308-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$A8CE019D-3576-4D9B-8908-A9B3595DEA62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4631d4f248b70730a26a0db898eeb9b1fd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":784155,"id":"Q784155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$9C93C4D5-FC07-437B-B497-A8DCCD8F65AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$2DF0BC8B-8D1C-423D-84E6-A54270234A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$78820701-9468-4C0A-BF39-C32D448F5C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$3C021FE7-1F20-4709-B7B5-CA102B65EC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313886661b3ada6d945959b27f4f16e6cc18ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":1630043,"id":"Q1630043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$0815BB92-15C8-476A-9E59-A6157EB720C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188a150860af43d85d9c40cbc810f545e99c1359","datavalue":{"value":{"time":"+2018-12-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":"Q1630044$E0AC6B52-B73F-4DD8-8C3F-E1C45D4260AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$7BFF50B0-0693-4C7C-8A08-DC65FEC776AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$03ACC99F-0EBD-4B01-8256-60A633D04FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$A843DFB3-72BC-408F-B8C8-54621D41EF25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c251bfc79f15e7f77a6289af168ba14b3c302a6","datavalue":{"value":"6990591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$42F6285E-C150-41E4-8763-DD6702B4D6CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa3e15f325ed150088c4e410d88474936a717bb7","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630044$08D26D3E-ADB0-4605-8FB9-560A33C0E3EA","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":"Q1630044$72D9C670-C5EC-4EEE-9071-95BC169B0505","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a84fb51fea852c42f1417175adee174408eedfa","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72308-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1630044$96B3E324-9A6B-41CB-9A9B-9375FF79316F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"896fceac763bd94442d183c660af810747440ff9","datavalue":{"value":"W2774345226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630044$4E4E0FD2-1EC9-4940-AE1C-54C09C0027AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdc390582c5a422f55197a3dc7053ff51b24836","datavalue":{"value":{"amount":"+0.7595009803771973","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":"Q1630044$9504BEEA-E28B-412A-AA50-497B674412E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d288e61e40ae656800885486ef02b68e78a920","datavalue":{"value":{"amount":"+0.7532605528831482","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":"Q1630044$95790E63-B6EB-45B1-94C5-0B06B7F17FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91042692ee85827e142f8daa1b522f7874d75bf","datavalue":{"value":{"entity-type":"item","numeric-id":2414249,"id":"Q2414249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1b4810eb2b7164542930215cefedb18da7a8f9","datavalue":{"value":{"amount":"+0.7443026304244995","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":"Q1630044$AB9D78FD-D365-40A7-9E3A-9AA8DAF1EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f522addd57ad5ffbbf639ba7f8e8915b52d018d9","datavalue":{"value":{"amount":"+0.7396240830421448","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":"Q1630044$54F35281-4C9E-4A80-BDFE-49FEBF0DD596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df893d1cbc10b1310efea092faf14122519a38df","datavalue":{"value":{"amount":"+0.7340995073318481","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":"Q1630044$CF73C0D7-8AAA-43E6-AF6D-C9339B757A6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstraction technique for describing concurrent program behaviour","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstraction_technique_for_describing_concurrent_program_behaviour"}}}}}