{"entities":{"Q3694680":{"pageid":5724586,"ns":120,"title":"Item:Q3694680","lastrevid":50296409,"modified":"2026-01-13T18:53:23Z","type":"item","id":"Q3694680","labels":{"en":{"language":"en","value":"Typestate: A programming language concept for enhancing software reliability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919807"}},"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":"Q3694680$0B1D0E3C-2A0D-4358-A910-B3A4A78B6236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c2a8434748549c9a6d5b2d177baa49cd24c23ef","datavalue":{"value":{"text":"Typestate: A programming language concept for enhancing software reliability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3694680$ADCB8BA0-5A59-4074-BEBD-3A81B3601308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125e325ffffdb5f724e4609e7cdc1234ea6fa2c7","datavalue":{"value":"0575.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$0CA4A4EB-DEC3-4699-A28B-AA93C399987D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a21ed183458ac9083be4e362baf91281eb07772","datavalue":{"value":"10.1109/TSE.1986.6312929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$FDC9E607-D2C3-408A-8334-A0689A9EFE36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebaa9d498df1df3f024c099c89ab81146687c8de","datavalue":{"value":{"entity-type":"item","numeric-id":2779253,"id":"Q2779253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694680$E43EDF8F-8CB2-46EC-B2DC-D186D975B371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e3b8c992f64ddaf576dfe68b7c56c3077d6032a","datavalue":{"value":{"entity-type":"item","numeric-id":3694672,"id":"Q3694672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694680$B08E2A8C-3ABD-48C0-9B0E-CE671D5BBCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694680$A0936D5A-8C9E-414A-8FDB-3F467258D29C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3694680$7F3EC931-53F3-4CCD-B72C-01261502BFDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$703BA8AD-E6FE-49EF-85A2-DA5A9C06CC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$0E45AB12-9883-44A4-A152-6B24B9A8FF7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13440fbbf3d0d0dc8ff59f03e5ad66044bd642ce","datavalue":{"value":"3919807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$1DD0D32E-81AA-4A24-8FF5-404F29C4064F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$AA2159A5-2CA9-488F-81A3-BB71E7CC9346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$A9302F15-9496-4C3A-8BE1-8F116B4B6E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$AD131311-1BAC-4AF3-B5C5-42CBC614369F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$BA8C28B7-3190-4A06-926B-DD273C673BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$D5BF9A85-F7BF-41BB-9C16-D17F110DB069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d713601ee3e558658c4dd273e9b646f3493ae17","datavalue":{"value":"typestate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694680$0F335F54-365A-4750-ACA1-0683312AAACB","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":"Q3694680$51AD0FDE-2BC4-49D4-871C-3C7F1A9369AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cda02f77162253b0333f5caf06a07e1a977c5667","datavalue":{"value":"https://doi.org/10.1109/tse.1986.6312929","type":"string"},"datatype":"url"},"type":"statement","id":"Q3694680$F68C21D7-A56F-49ED-88A7-EBC981338468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67122fb6c88db87c0a43bd49961ccda2d2433e23","datavalue":{"value":"W2044590882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694680$A130BA58-8A92-4C98-B2A9-388086682AE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3694680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3694680"}}}}}