{"entities":{"Q724932":{"pageid":726781,"ns":120,"title":"Item:Q724932","lastrevid":53153672,"modified":"2026-01-24T08:20:23Z","type":"item","id":"Q724932","labels":{"en":{"language":"en","value":"Behavioural and abstractor specifications revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6910729"}},"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":"Q724932$70698BA6-3E2F-44C5-B18D-25018780BB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e87f531f2172d58ea18c1786f9eb72a65c9814","datavalue":{"value":{"text":"Behavioural and abstractor specifications revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q724932$4BBA2096-C093-4503-8196-91383F127A73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a0948e7ec2ac5bb37ba6e987e274c88d3e73aee","datavalue":{"value":"1396.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$756CCD7E-4EA5-48DF-8420-95106BEF6E3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$7DB92306-9C13-4087-807D-8F8B21FF2D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$CC60D618-8EA0-4A92-9791-12043CA5FAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$71D8CF5D-4B22-4DC6-A1F1-73F8EDA70034","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$7291F71D-5705-492C-8C44-C766D33316D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c11ebaf7be0aa0574d40db26aec7772df0b741f","datavalue":{"value":{"time":"+2018-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q724932$AAA368F4-4355-495A-829A-DFBA94A71573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$F991F600-C534-4882-8B93-1AA2D269CDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$0B056F50-3982-494E-9B1B-FD994919D993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0c688f34832e00e5aae0a993d135acce87b14f","datavalue":{"value":"6910729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$01491111-EF1E-4698-B62C-22DA5493343A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q724932$7BD31D35-FE18-4AF2-B7BA-46AAB6220B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563eb0335a9f7ca0f28789d5bfd6a53d84cbadc5","datavalue":{"value":"specification of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q724932$69FABA03-3E27-461A-8E4C-5B96E0D08366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15218951eaa7cd45efae45d72dbacdcb1d9d958f","datavalue":{"value":"observable behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q724932$A3E19FFC-3214-4B41-A9F9-DF802B8DF82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078c705973808c7ce97e3fcb62c0feeb9602ac6d","datavalue":{"value":"observational abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q724932$943CB5CB-E9AE-4B57-998F-8F9AB059607C","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":"Q724932$DE28CCA4-3855-412B-9AAC-F157030177AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd156fc4099775c60095a73fa47af504408234db","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.02.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q724932$8970FB00-B953-4684-909E-1746FD1DE81E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a9a705a439fba310e059e0b55230b709ed5cef5","datavalue":{"value":"W2794018669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$457E981A-178A-4E67-9809-2537CDF463D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$FFECBAC0-5DFE-45EB-BC44-B2A55B0E8AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$7E9A0456-F353-4456-99C8-947375E83406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$F8FD24BB-381C-401D-9647-217005DE0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$FCD901C4-AE7C-4A39-9D08-E2A108CA03C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c193344f5be24b97098d8119c6f33c5fc705f37","datavalue":{"value":{"entity-type":"item","numeric-id":4493908,"id":"Q4493908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$4E724CCF-01AE-4003-A015-8BF1540D38E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$F3CF7DE7-30DE-4934-A357-A1F7BD14F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$EB94A928-6961-40E5-81E3-0135DC679D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bb4d13ba9b44ec359f7e88a5b3439acbd7bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1179807,"id":"Q1179807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$85245197-AF34-4438-A46A-E03C4FE5387F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1408d6fa06e014ff7490c3a81f0a9bbd0147c679","datavalue":{"value":{"entity-type":"item","numeric-id":1675787,"id":"Q1675787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$0237EE3E-E396-4087-813B-51B8DB6A9C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a45c51a86a039f2e60a3e3ce04bb8f44861422","datavalue":{"value":{"entity-type":"item","numeric-id":671672,"id":"Q671672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$A824146D-FAA0-461E-B0B0-FF38A3B3D2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b677760b11539650c1f09443f483481cdc97a3","datavalue":{"value":{"entity-type":"item","numeric-id":3179414,"id":"Q3179414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$277A6703-6E4D-4012-AC38-D30A7CA30A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$55DA8B6A-7C46-4458-9C4B-B2AB7EE7CA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39178e60761d9b8a8c03dcc854087a4f43dc5969","datavalue":{"value":{"entity-type":"item","numeric-id":5704002,"id":"Q5704002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$9F57CAE2-24B4-41BD-979E-ACED7AFADEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d1f0f5487f8c0ee42819e7149f6be853525c70","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$C1DFF9D6-F841-4654-91BA-2965063CA009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$CE1ABA4D-9684-4B29-BD03-4E35AC3C4FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd76867e6232156b14ed3debfc96b2605d9c09e","datavalue":{"value":{"entity-type":"item","numeric-id":4725725,"id":"Q4725725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$A76DC6DE-AAC3-4F12-9FC8-406426D141BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$FA6E5EFE-08B5-4A9A-B8C2-04C04EBECFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$E567B912-793B-482A-838A-3A5673069074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e16f53aacdc2272655a20338ee20ff055417e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3954805,"id":"Q3954805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$29D234A1-57CE-4DA7-A977-3C1C2E3FAF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$8C20C391-D107-4CD5-8605-F02C599C4931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724932$983705D3-B4A5-4674-94B1-2EA381393963","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b945da4da8f3e8b4535b7279d49ff00588b85bb5","datavalue":{"value":"10.1016/J.TCS.2018.02.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724932$3128FD0E-8778-4086-A869-EE5612D374BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b46880fad361ea9cb7025012869a05149d74c06","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fdf23bcacd656f28cfe96d862d3742c1a26302","datavalue":{"value":{"amount":"+0.9238576292991638","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":"Q724932$4021A5D2-9661-463C-9517-2D98099B9386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd7d1200e9623ee7720ac904257cd5aa1c09024","datavalue":{"value":{"entity-type":"item","numeric-id":1338907,"id":"Q1338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fdf23bcacd656f28cfe96d862d3742c1a26302","datavalue":{"value":{"amount":"+0.9238576292991638","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":"Q724932$28C508A1-B47E-44AB-B89C-1DBF8F4F2FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a84d81c35a3fd491520c9ff9f33b131b42a31e","datavalue":{"value":{"entity-type":"item","numeric-id":777876,"id":"Q777876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b17c5acb08112962c204b2dfad77f40886be6e5","datavalue":{"value":{"amount":"+0.8257724046707153","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":"Q724932$BDBCAA4D-A83E-4F6B-B812-03E73D070837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d3d24ca29e08a47fdbec5b79e3f3815a601a20","datavalue":{"value":{"entity-type":"item","numeric-id":671672,"id":"Q671672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efd24636ad2b4f5344e0a32525cd1c94186cee1","datavalue":{"value":{"amount":"+0.8234015107154846","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":"Q724932$DCAFB2C9-B7F2-4933-A3A9-F47D53389BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f787a569e49dcdb69bbb1e2a71d6560a60bf6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096735,"id":"Q5096735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79b1dc579194e7083698aa5572a5a840fd01026","datavalue":{"value":{"amount":"+0.8217256665229797","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":"Q724932$CAD31675-1424-4CD4-8EC6-11329AA66C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:724932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:724932"}}}}}