{"entities":{"Q1339730":{"pageid":1350469,"ns":120,"title":"Item:Q1339730","lastrevid":68501679,"modified":"2026-04-13T00:08:07Z","type":"item","id":"Q1339730","labels":{"en":{"language":"en","value":"FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 699977"}},"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":"Q1339730$C949E515-B268-4C64-9681-4A01087386B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c599a03e5f304c40502a89aa311785859af08324","datavalue":{"value":{"text":"FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1339730$49A2BEE9-337D-4F74-80C4-85BFC6BCB30C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1137423a8245ebc6cdbfc7fab60c2f763a3d9026","datavalue":{"value":"0802.00034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$F6EDFA92-908D-4EA3-B70A-B106F8E3737E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc6d03b378065ef6deb2d89ba9b29fa7f25920d3","datavalue":{"value":"10.1007/3-540-58555-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$FB01CB0F-EEFD-4B52-8EB2-270A3706E64B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1339730$18BC9F59-9635-4DAF-A140-D465CF0E69D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"639e2a3a6cef7461b2fe9383e8a717703cc7a062","datavalue":{"value":{"time":"+1994-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1339730$6B3E3310-0CBF-487D-8463-BED253B55E8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$5BFA1C8B-4A79-483F-92F7-CA14D8E8E7F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$5B6EB782-4F9F-4030-A2BB-9C47D9A12CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$558E1EFA-7417-42C7-A5B9-A1488E0F4511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c5e8ce7665f9006093f0d175d5936c2505f087","datavalue":{"value":"699977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$8DFA0D79-C046-4541-81F6-73FC3991649B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29fa3848233a9ba8f00450aaaef016a5e51b016","datavalue":{"value":"Barcelona (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$79E77041-642B-42E5-A7B3-882D6FF83B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$329E5646-22E5-4345-B173-31336DC7E07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$F274D202-EC26-4D05-B154-B3E5B74F07E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4c113a11f48a391ec7c30b1ef8ef96426075a0","datavalue":{"value":"FME '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$D7B53103-EDE8-40F4-8409-1611029F59B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339730$757C35F6-6C50-4A69-BABE-B5D6026792CF","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":"Q1339730$DFC5C9CB-1904-47A9-8803-29A98103050D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f8c637e81f2523bb72efa66ea1d7495688936c","datavalue":{"value":"https://doi.org/10.1007/3-540-58555-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1339730$88E3E7F7-3FDE-46F4-8F09-CD90E69471BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6e7f46e9164773ce787019e577d3956aa4beaf5","datavalue":{"value":"W2477536926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339730$070E2782-E0B2-4F83-8830-FA3C79FBC6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828c81e04f77968b4be94f368e8cd00342308e83","datavalue":{"value":{"entity-type":"item","numeric-id":1310273,"id":"Q1310273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2105943e0a79fcb2e0e0451796df8737264d86f","datavalue":{"value":{"amount":"+0.8558527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$1DCC1525-0CB1-4F49-9870-7772D49ED19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9d1e8aa595771b942213844e7d86ba733aa8dd","datavalue":{"value":{"entity-type":"item","numeric-id":1413082,"id":"Q1413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4644a6e8deb17ebb3eb196e32b66b52778214f5","datavalue":{"value":{"amount":"+0.8407876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$B060ACA9-1720-445A-8454-621C860D0440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6b66126c4b6713034858765b21955339c1d2ff","datavalue":{"value":{"entity-type":"item","numeric-id":1036131,"id":"Q1036131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222d1b50ee641a9e1a178672f1e583a2140a9903","datavalue":{"value":{"amount":"+0.8106666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$A9E47E2A-253F-4FA8-BC6D-F334C59E56A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cc8bf3384568c77f797b0bc43fb744e6ecf7b5","datavalue":{"value":{"entity-type":"item","numeric-id":1872753,"id":"Q1872753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025172d11aa16c1fbb373f160b3565acf7b4a863","datavalue":{"value":{"amount":"+0.8043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$212DA874-753C-462F-AA27-98C545D160F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da9dd92e19f18f573f819b9a9303a361912822f","datavalue":{"value":{"entity-type":"item","numeric-id":2577426,"id":"Q2577426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc23c8197dbde6f4a63e1dd42ee854d795ad6ea","datavalue":{"value":{"amount":"+0.79914033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$8D54E051-C95F-43A0-82F6-B345DC085B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99572e57b427f9c6ed031086b5c4956caebb28c","datavalue":{"value":{"entity-type":"item","numeric-id":1819248,"id":"Q1819248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342d8857e9ff2ec1cbcc2e11b55002995349bf39","datavalue":{"value":{"amount":"+0.79890573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$1F4330FC-7DC8-44FB-94F0-8A839E074A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09300acf5e7d39eefd2144c0ba98e85578fdf9ba","datavalue":{"value":{"entity-type":"item","numeric-id":369461,"id":"Q369461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85dc783b5df3470ffc1075823c420138c6b98517","datavalue":{"value":{"amount":"+0.7947117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$327252FF-F5D8-43B7-BF0D-25658CDD824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9348b10d8f96d5c8a94d51328f2439d5cbb91e","datavalue":{"value":{"entity-type":"item","numeric-id":625621,"id":"Q625621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bbe101c1d66e45ec2f8587a389314aeffe15da","datavalue":{"value":{"amount":"+0.79328054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$6E56C1BE-E268-44EA-A86A-0C486F1F2030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b7baaab3fea2e7550cce478d8707c128725381","datavalue":{"value":{"entity-type":"item","numeric-id":2446806,"id":"Q2446806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd87f24c3d97a5ac16f1d5be38ccbdac3df729b","datavalue":{"value":{"amount":"+0.79258066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$6F49D732-9188-4A72-822D-A9E5A16A0EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b43c8ba4fad385964104ef916298a8d820b0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":1295864,"id":"Q1295864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00fc3608bf7399fef877b64d4d837a00357fd6b","datavalue":{"value":{"amount":"+0.7892811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339730$311E0EAC-FF86-4B91-9A2F-193C43679E10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FME_%2794:_industrial_benefit_of_formal_methods._2nd_international_symposium_of_formal_methods_Europe,_Barcelona,_Spain,_October_24--28,_1994._Proceedings"}}}}}