{"entities":{"Q840086":{"pageid":841934,"ns":120,"title":"Item:Q840086","lastrevid":42722076,"modified":"2025-07-09T13:42:51Z","type":"item","id":"Q840086","labels":{"en":{"language":"en","value":"Application of the trace assertion method to the specification, design, and verification of automaton programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601833"}},"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":"Q840086$724CF8E2-CCE6-450D-8DBA-3D6D54722429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c00dae1944dd9bb578b5ec004a94c146ad03c171","datavalue":{"value":{"text":"Application of the trace assertion method to the specification, design, and verification of automaton programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840086$ACEBA0EB-AA53-45AA-8F74-64D7918981AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88e15af2a649281ddb9f5d96840f63a3daea4237","datavalue":{"value":"1185.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$1263425C-A3DA-411A-B08C-7EC8DF7DE501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d6bda2187f9e159f29c4761811eab1803e1e32","datavalue":{"value":"10.1134/S036176880901006X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$C88745F9-0DEF-4411-B4D1-A1923858E122","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d154f7b7b2cad69c41a322652f76040ad3378cc","datavalue":{"value":{"entity-type":"item","numeric-id":542238,"id":"Q542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$595AF925-1362-4E78-91F2-D1B37DF71320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92fe6b3cef0ba44ed27ea478e699b507ba9012b","datavalue":{"value":{"entity-type":"item","numeric-id":395106,"id":"Q395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$1FE82255-AA28-4BC9-B7DD-C890E617146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddeda200a92158096a80a543d82e401f7fdb88f7","datavalue":{"value":{"entity-type":"item","numeric-id":840085,"id":"Q840085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$1992C87A-35A7-43E7-AA99-EEFE2FE9BC47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$F41200F0-1B3A-4827-AE5F-E062319C48E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840086$1036BE09-9B17-48A4-8F5B-E1543F639F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$F486E5E7-D3FF-43AD-A86E-47BD5569888A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d64327258601cbd3f1352344508e2e7fcd5c10b","datavalue":{"value":"5601833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$DF021020-E4AB-4F4D-A930-910AD4516531","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"deb5e7cd42f2e8efb5cb89da6882927f7003c1d9","datavalue":{"value":"Q57758831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$9698B2D7-D8BC-45F9-886D-54072DCB8820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2db20f89449a53a93e6b24b547b5c5788d640124","datavalue":{"value":{"entity-type":"item","numeric-id":15022,"id":"Q15022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$515E5788-25CE-41C4-813E-4B29617EE0C1","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":"Q840086$5A3B7154-72AD-45F1-94BD-DF2E96D029F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7996e27902dcee4e1ec4d225a63e1e352dd3a72a","datavalue":{"value":{"entity-type":"item","numeric-id":4210549,"id":"Q4210549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$EA5EBF3F-E0AE-4E87-8C04-CBCE79D654B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aabad21d7f0ac8c40edd8d2980c150fa66861b","datavalue":{"value":{"entity-type":"item","numeric-id":1403199,"id":"Q1403199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$25A5C680-7765-4177-B7A2-1D0116EB0675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79af37e3612e5e03e96c4ccb21003bdb6eeae7c7","datavalue":{"value":{"entity-type":"item","numeric-id":839994,"id":"Q839994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$58CB9956-6820-4015-ABF9-139306D08833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2abd984891a41ac02dbf2ee0543919844bc429","datavalue":{"value":{"entity-type":"item","numeric-id":3039003,"id":"Q3039003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$C149BB2E-A420-4363-8E75-7AFA3B1189D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9255822e664792a1c7394d37909798bcea1365","datavalue":{"value":{"entity-type":"item","numeric-id":3685181,"id":"Q3685181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$E7D4C20B-D71A-45A3-8DFC-688534E882F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac92d3aac58f60074f826356c3c5db6d328c2346","datavalue":{"value":{"entity-type":"item","numeric-id":5929014,"id":"Q5929014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$F7B7A56A-864B-4E47-9E90-898D2DF52270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$8EDFD454-4AA9-4CE3-9F85-237255671DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840086$260154C3-4B12-4093-B2C8-2862E6F7DEC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994a60f5d876558e031c1cf8e20b5e964a92b357","datavalue":{"value":"https://doi.org/10.1134/s036176880901006x","type":"string"},"datatype":"url"},"type":"statement","id":"Q840086$83748F41-D4A1-4DD0-A373-24334FC64D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d309e7e067946fd94e927777f5902a402c97506","datavalue":{"value":"W2154141291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840086$9BE65724-C5FF-40C9-B2DC-DF66186F4A16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a1b4c88cf430c4ecc948ec6940e4e4fce7f738","datavalue":{"value":{"entity-type":"item","numeric-id":4452049,"id":"Q4452049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9023b0034e9d3c1fa55df41398d909a4a2317b0","datavalue":{"value":{"amount":"+0.8911544","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":"Q840086$B30953F8-2D58-4B70-BAE7-5BA5FE9519C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0766b5576fcb4861b99a8cd22ac2ba79b28c2eea","datavalue":{"value":{"entity-type":"item","numeric-id":839994,"id":"Q839994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbe3a5a99c6d195459f0d129c5c12dc59b7eccb","datavalue":{"value":{"amount":"+0.8802378","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":"Q840086$F02FCC4E-E344-472F-8AAC-FD2E7BA263D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1f9c817e6634572b52e2bda3f64e96f60ebf3e","datavalue":{"value":{"amount":"+0.8772207","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":"Q840086$CE8588B2-B9E5-41BC-96F8-AAA39E7E83C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785d1c64153f1f6e83dc2d72b7f0ad649acaa215","datavalue":{"value":{"entity-type":"item","numeric-id":5206955,"id":"Q5206955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70600d00a92491cc2bdf12c4e26bb3664029cc05","datavalue":{"value":{"amount":"+0.872431","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":"Q840086$DC4FF09E-1612-41B5-BD33-5F0749701142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f771967f88ed63d54e822ff4bcd89b3de97c4fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5946060,"id":"Q5946060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00430b536b1c375dd19dfe56705c552f178a754","datavalue":{"value":{"amount":"+0.87044513","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":"Q840086$69636996-4DC5-4A40-BDAF-C7625D72E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c35b2e3a35c327c58d0cdbb25592cb5f2872143","datavalue":{"value":{"entity-type":"item","numeric-id":2796218,"id":"Q2796218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414dcf5692d2eea003036c81102f42b195eda372","datavalue":{"value":{"amount":"+0.86852187","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":"Q840086$E916BF1E-D6C9-43C6-8AD2-24B1548D9F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e0f817282e46d83c5a969d6af1925d018189aa","datavalue":{"value":{"amount":"+0.86652166","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":"Q840086$8EB43FF3-8830-48EE-9B12-B3A672ACDDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec08b3c02523e826073b8df81c45fb239d6bd16","datavalue":{"value":{"entity-type":"item","numeric-id":4617972,"id":"Q4617972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6528ffa206b7871a2202ae13feffce668dad12e","datavalue":{"value":{"amount":"+0.8644228","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":"Q840086$432EAEED-C62A-4B17-BF0F-F5B13DAD0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bd075d82b09d8ebea7bb0c5c29bf3d24360cfb","datavalue":{"value":{"amount":"+0.8630021","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":"Q840086$EC05C797-9F17-4395-AD67-7ADBEBE7D5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5547e7f140f28686cbd763d65679684df419834d","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f78f3e61db0c76508b14bef25adbc2b42b1cb3","datavalue":{"value":{"amount":"+0.86137134","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":"Q840086$77D7A4E2-2AC1-48A6-BC45-5E6544B9911B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:840086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:840086"}}}}}