{"entities":{"Q3401956":{"pageid":3412659,"ns":120,"title":"Item:Q3401956","lastrevid":46135846,"modified":"2025-12-23T10:53:40Z","type":"item","id":"Q3401956","labels":{"en":{"language":"en","value":"Refinements in Typed Abstract State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665349"}},"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":"Q3401956$3D3A3071-04E1-4979-B150-70A20B9EC966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc17e87dccca71797f668aac72f01d40e5d1e63","datavalue":{"value":{"text":"Refinements in Typed Abstract State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401956$F17D18EB-4252-43CC-90A5-A527EBEB09B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26faba1ddccc6e35419fcd7f342dcd30496b1b66","datavalue":{"value":"1185.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$FAC1D89F-67E0-4F21-A6BE-3EF0241E4578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16a864de344d39a09464dd2bc81c80783d025c66","datavalue":{"value":"10.1007/978-3-540-70881-0_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$EF524F99-A287-4E5E-8F3A-3787B4AF459C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c623ff141e6601023cff4c2caebe41cfd442b463","datavalue":{"value":{"entity-type":"item","numeric-id":269506,"id":"Q269506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401956$DD39EC33-A847-4022-8790-118F5F72278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401956$D4CCF008-A941-411D-AC42-ECB412DFCFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6dd2bbc2364c190be94cbc9ad928455b58cba63","datavalue":{"value":{"entity-type":"item","numeric-id":3400956,"id":"Q3400956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401956$62629A4D-9B81-4281-8550-3E2F1664F0D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401956$E849B378-3D3F-449E-95C3-55D10CFB0783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401956$B239DBBD-65C8-498B-8355-6A180266DABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$8351BA85-24FC-4BB7-BECA-F9C9CAD2A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$40D85DE5-EE8D-4E41-8FB9-5F553173FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$C1A2703E-00CD-4292-A58C-A96972CE38AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1083b5ba50f095296f00bd8d6963d8373b1de148","datavalue":{"value":"5665349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$2CDE6732-049B-4A4D-998A-A6FDDC0F5671","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":"Q3401956$89225443-83F6-4802-80EE-6C23055C64A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c04105909be26747ca521160163a1311ce7497ba","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70881-0_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401956$B7959B64-264A-433B-84A2-5F8FCFFACF9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adac913197cd7b807ab257fc6d04daa7db87a14c","datavalue":{"value":"W1483240083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401956$69872600-DC6F-4008-96AA-6EDB1E37A154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787d7011c54fddc6616d1f7b5b4e7844c4196cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5958757,"id":"Q5958757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d022268f4a0c346dba0175953a55ea8845162baf","datavalue":{"value":{"amount":"+0.917626","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":"Q3401956$A0BCD3A3-F17C-4ABE-A270-D24E65AD9D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14027c8da4021e8f1223e4509afd0d3c9a6cbf04","datavalue":{"value":{"entity-type":"item","numeric-id":5881450,"id":"Q5881450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92a26987257837ebf15cf80ab099ba0ae434afd","datavalue":{"value":{"amount":"+0.9145606","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":"Q3401956$037CBC2A-67BE-49DC-A436-24CD4D2B2549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae436d9585bbf3571bf8cac098212fd99f8b71e","datavalue":{"value":{"entity-type":"item","numeric-id":2568446,"id":"Q2568446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4d528c049363178f4be3f8d475b0b12c31a55c","datavalue":{"value":{"amount":"+0.9033544","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":"Q3401956$55021799-0703-463C-BAE5-1F2298383A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8417069816bf63c12f47d43777f723b0af5355b","datavalue":{"value":{"entity-type":"item","numeric-id":4813415,"id":"Q4813415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4d528c049363178f4be3f8d475b0b12c31a55c","datavalue":{"value":{"amount":"+0.9033544","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":"Q3401956$5A566879-FEFB-4CF2-88E4-43B3A8ACF1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1195558c560301d44336ee3c7e698d5b21c56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390b56841465e1f8bfbdcbd25712f8c706185baa","datavalue":{"value":{"amount":"+0.8849034","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":"Q3401956$A981193A-AF95-4BDC-8C95-02A59D0E74AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb50c84c9889cfc98314786e87098ead01f895","datavalue":{"value":{"entity-type":"item","numeric-id":4680195,"id":"Q4680195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deebc2b158dbcaf342300f73ac2162d10e7fe75e","datavalue":{"value":{"amount":"+0.8819261","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":"Q3401956$F2081F41-B0DC-43C1-B701-CDEC93D82B08","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":"51793351816aaa7a42061d929b561925b1ecc064","datavalue":{"value":{"amount":"+0.8808251","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":"Q3401956$E1AEA6BA-02C3-45A3-A182-A6A1F15B7831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f35f129770859cdbd504956d2a47e3784abccd","datavalue":{"value":{"amount":"+0.8748315","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":"Q3401956$CF917C06-0D8A-4783-9AA3-0EF09E79CAA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401956"}}}}}