{"entities":{"Q5971345":{"pageid":8148141,"ns":120,"title":"Item:Q5971345","lastrevid":41865846,"modified":"2025-05-09T05:10:24Z","type":"item","id":"Q5971345","labels":{"en":{"language":"en","value":"Discussion on: ``Formal specification method for systems automation''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326523"}},"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":"Q5971345$05FD941A-D3B5-45C7-A70C-9CB3F4FF0964","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bfb00ad2f554b6b29026dc2bca1047210176731","datavalue":{"value":{"text":"Discussion on: ``Formal specification method for systems automation''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971345$B3234AB4-8C10-4E88-92BF-94B28B6C35F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed252e535780c0c84d4625bf6b8fcefc7336ca4","datavalue":{"value":"1293.93092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$F868EDE7-AEB6-40C5-92FD-8D28EFA8840F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e767c7305fefebf0da25348ee2c8ba90205c36cf","datavalue":{"value":"10.1016/S0947-3580(06)71020-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$8D62B8B9-61BD-454B-9C6B-7FDB72328260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$5B1766FE-E5F4-4F30-AF9D-909D703C99F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f00d76f2beb673643e2f767b40abd30faf48df5e","datavalue":{"value":{"entity-type":"item","numeric-id":436360,"id":"Q436360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$D186A256-528E-4F07-AD31-B3DDEAEEA3C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$2BD820E5-CB79-4907-B181-FC26E6625C53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-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":"Q5971345$85C59D30-E589-4DAF-B14E-89E8DA0335C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$F86E823D-FD03-47FE-8E05-0FC4AED880F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$3EC630E7-4944-4692-BC99-F7FFC0929D7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e58ee789b4d55c7fdf801904e7ea776800eda12","datavalue":{"value":"6326523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$2F8AE7EC-9B6F-4C25-9006-BD051049BD48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$BE5710CE-6C63-477E-AD59-7F12F3DE4240","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":"Q5971345$F7F2E57B-F5A3-4D36-9A68-AE60352DB09A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$A842615D-2AD4-4C03-8746-BA6A92D9C9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$A125BBCD-F839-4262-9937-E29816EB74E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$3D96C883-6CFB-4E6B-915D-3B16B9A7475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$23DECA74-D550-4396-AD49-F19828DF4E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$2C938387-D6D7-401D-A67A-8F26682961B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9be0854f9b5d0fc2d863979fcc8757a1111ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":557805,"id":"Q557805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$8F0B6A1F-D106-4484-B9F9-2FB6D7CEA55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$18C0D9A5-C667-42EF-94BF-7E88315DC51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc85e29fcc4c334ec59135eff3ce052d40eb202c","datavalue":{"value":{"entity-type":"item","numeric-id":4472205,"id":"Q4472205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971345$3C891505-14F2-4FEA-8B95-757CC99D0AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00a4a52b9488e1285a700eb81f5a4e79e46de79c","datavalue":{"value":"https://doi.org/10.1016/s0947-3580(06)71020-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971345$A6DCC6EA-C255-407A-B18F-CED004AB2D97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5bb54f60e9ea425038b4e0fb76daba6bf87e19b","datavalue":{"value":"W2073720275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971345$FD41EFD9-292E-4E9C-AF4F-F61D9834F0D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f63b4e8317ca33e8a6776c6e0d267137ff478b","datavalue":{"value":{"entity-type":"item","numeric-id":2512042,"id":"Q2512042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q5971345$1B971BF7-F046-48E9-8312-1B0354D01120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df1a2e3cf4bb057de719ca9895bacb14b9e0964","datavalue":{"value":{"entity-type":"item","numeric-id":2512041,"id":"Q2512041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608959a26299e1a00d1a745e7a55d1e213b075e9","datavalue":{"value":{"amount":"+0.8985312","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":"Q5971345$415F8375-674E-4B16-BDF1-F8504C351248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0263b1c09be5e581a88dfcef6b7236726d674df","datavalue":{"value":{"entity-type":"item","numeric-id":5464763,"id":"Q5464763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfa62853e2f64527ff9c62942c895223e9b6990","datavalue":{"value":{"amount":"+0.8362031","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":"Q5971345$F69BDE1A-95FA-45F6-B120-502D0F1981CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74abf8584670ab2f6a4c397dfe13f69f1592c45f","datavalue":{"value":{"entity-type":"item","numeric-id":2863885,"id":"Q2863885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0ece3fa72bb9354d6430ef7beb5d47e5174fdc","datavalue":{"value":{"amount":"+0.829004","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":"Q5971345$52FAB0D6-1D8C-4581-AD89-653888A5E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a9e34e361a434e6c4298cf4a16cc019a729bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1040418,"id":"Q1040418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40398790ed00b66070e5687bec831796493854f5","datavalue":{"value":{"amount":"+0.8241265","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":"Q5971345$831ACAD3-9F01-414F-B113-2EF39A030746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403f11c2ac68f74af6d80a887f475b2a055906b3","datavalue":{"value":{"entity-type":"item","numeric-id":5394171,"id":"Q5394171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8049e4fd3758d0aa0c8ecbb0b499a42e1f9fb714","datavalue":{"value":{"amount":"+0.81646144","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":"Q5971345$384270E8-0A21-4628-8E63-25C49834D966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5971345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5971345"}}}}}