{"entities":{"Q2304534":{"pageid":2315277,"ns":120,"title":"Item:Q2304534","lastrevid":73897788,"modified":"2026-04-14T17:39:42Z","type":"item","id":"Q2304534","labels":{"en":{"language":"en","value":"Logical vs. behavioural specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7179700"}},"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":"Q2304534$107340ED-EE2A-4F59-AD04-2709F588E779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99c91c5b801b5a2af4745ee0be146a83d88e5248","datavalue":{"value":{"text":"Logical vs. behavioural specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304534$6ECEEA24-B778-43F7-9299-F5F3266B8A85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"446ea56429a6538cf45c0c529c69138bed26d4ca","datavalue":{"value":"1435.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$840CE436-97C5-4C50-852B-4CFEB6B4CCDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F4D4978D-F87D-461D-A0A2-34B90C445BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$615811F8-13C7-45E0-B0A4-1B4D4E9F88F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$053FB1D9-0315-4471-82DB-A3659300C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$CE0D9381-8F69-42C5-9F89-08AE52D4F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$4FBB7ABA-B102-421F-BDB4-A60506CFB05F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$79903103-AE3F-4425-9477-E0EE5F742A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ddeab2841725759b2e820b7ea1589750ac80ae","datavalue":{"value":{"time":"+2020-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2304534$95B02613-498F-49A1-8D31-158C9BA7D7F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e5dd549ce901caf0cb50b7963d6447a595a7218","datavalue":{"value":"https://hal.inria.fr/hal-01088150/file/bmts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304534$53CBD8BB-9E9D-4563-A84A-E0A348707263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$7E750777-BAD1-4C72-9DE5-84B444866670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$460AF805-45D9-44B4-ADE9-1374FE5C93B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$E87E638E-82AB-4B98-A98A-777844B89CEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5723cf6d9f5e733b2303951f1521364bc7553d6","datavalue":{"value":"7179700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$7D3B54D6-C47E-4354-A681-E93993552BBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de473017dc4bcf3d5921508adc460d9fe622e60","datavalue":{"value":"component-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304534$1A1EC284-660A-495E-B2A1-2813E59EFD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304534$5E718AA8-E06D-4D86-9CE7-2E8762620F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304534$EA318BC2-9C3E-4F83-B6B1-3DC7B6DE2DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c4862b34c66f51a13987dde22a192047a6fb3a","datavalue":{"value":"modal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304534$3678F572-582E-4663-B26A-7912BCF885FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304534$681A71E3-4A50-44A7-95D8-FA1BEBE8F01D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$D110EA22-FA2E-4167-BFF5-65D6E1586CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$448A737C-635B-4E37-B6EF-A1602E6FE45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69a6cdd50aa1b254a34e32e1cecf25951df27d2d","datavalue":{"value":{"entity-type":"item","numeric-id":21227,"id":"Q21227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$63EE0317-DCE5-4E53-A527-FDD90B4609A7","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":"Q2304534$5581391E-2BF5-4AF7-968B-1493F211F6F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21e11ae3b068cb7156749068498a372367231003","datavalue":{"value":"W2729250683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$2F83B00C-5049-49A9-BE15-EA34C350EACC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6dc4bd8a2c5111c75aa9b44eb5cb3800d3e909","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$9D0F060F-0232-43D7-9B6C-28543163D14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c657f64cb04d23c3481d9e8fcddc3fcde2626cf","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$C8D1E49A-5DD0-44CA-8F3E-04A546DB6EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338cb28dd1c3642a4941ca756896c1df7498392e","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$3E74029C-2BF1-4068-8A26-A99D3DE62326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03086d42c9b86e2ad473ee8c3dc642b1e5b52ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$73B4E2EC-1B94-45FC-BCDB-8E6B1C23D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6702ef2786d3f23033008a62b6e461ea0cfce","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$1460E0FD-3480-47FF-B0BA-0C28E24682FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f738146de175f9291733278b70baabacfab3c81","datavalue":{"value":{"entity-type":"item","numeric-id":3172920,"id":"Q3172920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$CE599DD2-7537-4916-B042-73F9B0FFC23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392863b139e29c8eb41e9bab67000bdc80e8a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$20A90F2A-8C96-46D4-B50F-B16FDD4D2DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8d72ea5e8fd7d0a3e36dfa4bf66e9dba4833e2","datavalue":{"value":{"entity-type":"item","numeric-id":2917271,"id":"Q2917271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$6DDBCD79-8FB4-482C-8927-873DADCE7D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438cbb5586226ee11cd24f51792d3e153eaf71ba","datavalue":{"value":{"entity-type":"item","numeric-id":2252445,"id":"Q2252445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$28C86862-B6FE-4AD6-879A-81FF96C05379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F14EFC73-6EDC-4EAF-853A-E9C6B8F29279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$8A340720-1B09-43E0-9927-F310EAD8D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$4354A6F1-7DE4-4091-8ECE-D35E4BF263FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78558d8c718e1b1f84f0f12ddb97f77b688f04a","datavalue":{"value":{"entity-type":"item","numeric-id":716577,"id":"Q716577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F0900061-38BA-4CFE-AA5F-A3E48B9FC12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$C61A29EF-076F-49BD-90AD-0F587FCC50A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a590d4563e0ba1742cc150014b46e82cd050f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3012934,"id":"Q3012934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F561F18E-9BA9-41AA-AB71-36751626A94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F131BBD8-F523-428F-8D46-854A3F9FA0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca44b0a111807ea5cb89a634874b6cc657f7ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":4978803,"id":"Q4978803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$35C9D165-83DC-4F6A-99D7-739048DE5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4493a0fb8280653f0714ea03716d2b49230b748a","datavalue":{"value":{"entity-type":"item","numeric-id":5170745,"id":"Q5170745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$CA638DCD-DA49-4883-86A9-8747269DFBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7745209493bb365d683c73f63408a087325d17ee","datavalue":{"value":{"entity-type":"item","numeric-id":2291820,"id":"Q2291820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F02D3D0E-A27E-493D-8DFC-B949A0E3ABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122c5b85f6456a1e30176df03c8819cda670dd10","datavalue":{"value":{"entity-type":"item","numeric-id":2938159,"id":"Q2938159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$996ABC4A-FD4F-469D-89BB-86AD3B0FD15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900bc7997e7deaa287902f2ad93d9def7be50e2","datavalue":{"value":{"entity-type":"item","numeric-id":953529,"id":"Q953529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$12D4A527-7C78-44A4-916F-113594638C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$6EF2B094-EC33-458A-AF93-5C8424CEF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfed5d037b42244ad5cb6ac4b7bb960b703bcb4a","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$A5F26858-51EB-4EC2-A37F-FA28145F9AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$77182F16-6ECA-4E6B-9AEA-BE0592AD96CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$B8C8BFA1-E0DD-4425-A7E9-8D3205F38698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$F4A4BCC7-3AB4-46E7-BFDA-20D3F2EFDCF6","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":"Q2304534$35F8A772-2528-4B96-B12F-AAF30B9F13ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$73FC9DA0-AE16-497B-A156-50DEEDBD49C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$C7384AF0-5A6E-448D-9457-76CD203A6D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a18a9c9e02870b4edba726d3f27a3bb12acd3c","datavalue":{"value":{"entity-type":"item","numeric-id":5217296,"id":"Q5217296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$8A62A7DD-B46F-462E-816B-2D8E9BD24010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf184b2b10083e857039ebc2c822568a0c412fb5","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$E5C43486-1933-4C54-9FD6-88D3140DF2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$85E8A609-152A-4D77-90B2-539F685D9DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$1487405B-A67B-42A9-8E3F-D8DBD46F8D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0236c27b44b1d5ff87db3c624b16ad39c44b9863","datavalue":{"value":{"entity-type":"item","numeric-id":4038716,"id":"Q4038716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$6C66989B-FC47-444A-954B-BDC9B13D9684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$E86006FE-7C4F-43DB-A596-2E8B0FB0D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$761486FE-75F1-4FFF-AF72-1E03437FDAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$0AE939B7-B5D8-49D0-A98E-FDA8B426FB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304534$5C13AFF3-7746-484F-AE4E-949E203C755F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a7b08f69c43224a3bd5195a7c4a06e9f736da01","datavalue":{"value":"Q126785428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$A2E3BE27-ACE4-43BD-9B58-7CFAB7665ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb9cf1113f5b28231fc536665c30de94ca963f0","datavalue":{"value":"10.1016/J.IC.2019.104487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304534$F3B8F3BC-B326-4538-8DC7-B46C25FA906A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1a2edb4bf64d789a481ce8ce7f205da66477c0","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c61c0fca7e64e48b42285cfb72701ccbd4dd58","datavalue":{"value":{"amount":"+0.8096520304679871","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":"Q2304534$BBB14980-09FD-4D6A-9E32-09F96F1064D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bab4318490ca8e0ceabe2a9ba656e098c672732","datavalue":{"value":{"entity-type":"item","numeric-id":2938159,"id":"Q2938159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a666a77d84e2705d755e3f1417bc5d69dff7162","datavalue":{"value":{"amount":"+0.8096517324447632","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":"Q2304534$3B90DB5D-2A53-46E5-A65F-2CB476E48060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c242e7b48f739a8e2d1e57458eff6cac72598c2","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295f7fe64d94f4011be5a6d4f352fcc07b5b93b7","datavalue":{"value":{"amount":"+0.8048337697982788","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":"Q2304534$A0D5AC9C-DCC7-4F9D-B8B6-B9E0C35F22FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f266055edd9b10353274126b34915dc9046c3769","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b47061318d0cee3d56c1dfe26d72fbf18353669","datavalue":{"value":{"amount":"+0.7966830730438232","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":"Q2304534$1022B1A9-E9F3-4FB8-8607-718EB90BE471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e313dc43357be23af45e4be1b5b460479817e39c","datavalue":{"value":{"entity-type":"item","numeric-id":5753511,"id":"Q5753511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e25ea664be98db818332bdb466208047a9f788c","datavalue":{"value":{"amount":"+0.7524099946022034","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":"Q2304534$F4E4AEF6-9339-410E-ABC3-1EC9ACBE2B90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical vs. behavioural specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_vs._behavioural_specifications"}}}}}