{"entities":{"Q3614845":{"pageid":5644751,"ns":120,"title":"Item:Q3614845","lastrevid":50600750,"modified":"2026-01-14T12:58:07Z","type":"item","id":"Q3614845","labels":{"en":{"language":"en","value":"State Isomorphism in Model Programs with Abstract Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527096"}},"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":"Q3614845$96EF3EE0-8775-45CD-A36F-EEE6597226FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db5179009dbcc5aed0fa89a3aed5173abfa77c14","datavalue":{"value":{"text":"State Isomorphism in Model Programs with Abstract Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614845$19283C26-1A58-4A73-8D55-FB2EFE4F2F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2afc2329a7f1250b8bf0c7677b05e65e94f7044","datavalue":{"value":"1215.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614845$8E69736B-CE50-4931-8EA2-9CD4422DCD99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"182f3731f3e89089b760ce947a7e19c4f6f733c0","datavalue":{"value":"10.1007/978-3-540-73196-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614845$E1B47464-C86D-4C14-9BAA-FEBEC1ACE0F6","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":"Q3614845$F255A294-448A-492D-9996-36129E74D603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614845$09830B9D-8EA7-46F0-865F-8DB8F829A6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614845$82AADF75-3D8F-4C9E-8B5A-59D5BBD1E2C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f21afdbfa62580c47b522450571b67081de93a9","datavalue":{"value":"5527096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614845$CB1FD87A-2F5C-4F68-8D34-1F143ABB34A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$84329FCE-6A5F-4C88-8D5A-3B96E72F1D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$435DC539-45B0-413B-B447-88B5E34BBAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2592836199d8c83558377103476ed4b6729ff0df","datavalue":{"value":{"entity-type":"item","numeric-id":14036,"id":"Q14036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$22112EBE-B0CA-4E2D-862F-323A7E8606DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$E1D4617D-2136-407F-AD69-2A37F777633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$18E438D4-71AC-4D40-B8FE-6489D79D675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d341dfd1ee7d2df4b6530bcf9f920e4897916f65","datavalue":{"value":{"entity-type":"item","numeric-id":23310,"id":"Q23310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$2E6FDAE3-2030-4F17-B677-D136363FD860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0930e95d37bdd1b5905ab66f6feca8ba6215fcfe","datavalue":{"value":{"entity-type":"item","numeric-id":23312,"id":"Q23312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$36EB99F3-4D8F-436A-8FCB-42FA014B9780","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":"Q3614845$7F9E85BA-4B14-4738-999A-D19C29D594BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a72f4d29f4f99ea7db484229de11242ab72352d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614845$70B379BD-632D-49BA-842B-3FCE3FE18B9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5772d576c3356f350c2bd57007f134f8e0dd51f","datavalue":{"value":"W1596735914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614845$A95722CE-D741-4EF9-BCDE-15E4F4D5CE7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857cc5ab7fb59cef1eb311cfec5a2dbfbb73dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2753663,"id":"Q2753663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$424549E6-E0DC-4868-82AA-8AFDA9EEEFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b673449a7cfb16b149399461a27c727505ffd7","datavalue":{"value":{"entity-type":"item","numeric-id":2753747,"id":"Q2753747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$315C790B-89D5-4BC5-A055-FF028EC06260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$A7FE0153-2E97-4A54-AF5C-A01404D69F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a916e8b02aadea3fa9d8db1df52d53682b0e804e","datavalue":{"value":{"entity-type":"item","numeric-id":5444686,"id":"Q5444686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$423BB380-6788-4FCF-92F2-D8B352EB8AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de3ec857f6169c81f2908b5b9720efbe3cb44f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168744,"id":"Q1168744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$C43AB3E4-1496-401A-8193-B5AC2FB11C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a556ebdf70d4dccab6829384fc6bfdcb4d3f1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3671211,"id":"Q3671211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$985AFE30-9375-4474-BFB8-0AD6E3B25CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fd9311c5876ee324a273d7e1b8a805a27894cf","datavalue":{"value":{"entity-type":"item","numeric-id":5394552,"id":"Q5394552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$9F6F91F1-5AAC-4F54-9C64-CF5ACB2E4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13980459114061cccdbdebecd7eaa88ca0971b4","datavalue":{"value":{"entity-type":"item","numeric-id":4085764,"id":"Q4085764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$012AA13A-6964-4302-83EE-87DB6141FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1c23d3e98cd0099f0eb28a61550221b6d6341a","datavalue":{"value":{"entity-type":"item","numeric-id":3614846,"id":"Q3614846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$D7898333-0144-419A-8EC3-5686522E3493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab6a40d2e8319f6ce044499bd6acbb1af8603af","datavalue":{"value":{"entity-type":"item","numeric-id":5703772,"id":"Q5703772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614845$9E1F4E53-8F00-4CD8-944A-64902D9BD357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522f86297e8d885a9e63d8e174b3cfa3122f8551","datavalue":{"value":{"entity-type":"item","numeric-id":3614846,"id":"Q3614846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3092279146261b93bf622df97fd5313a7feee08c","datavalue":{"value":{"amount":"+0.6526874899864197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3614845$A794BA9D-690D-4DA0-A4DF-73BCD2D18F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03d1e60a917dd94699112020c16dcacdb5d5820","datavalue":{"value":{"entity-type":"item","numeric-id":5899043,"id":"Q5899043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d637aab28b1bbd553f510cee20e2b20d0bd511","datavalue":{"value":{"amount":"+0.652355432510376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3614845$8297C914-6F98-4E64-9D97-84C8592DAF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2213e803f2b2b93f2cef8705272ba7d1f95d363","datavalue":{"value":{"amount":"+0.6449043154716492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3614845$20AA473A-E4B2-4761-8081-DEF987ABDCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41189a5d002d5a34fb6049bc4a9f89b8b587aeec","datavalue":{"value":{"entity-type":"item","numeric-id":710670,"id":"Q710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2213e803f2b2b93f2cef8705272ba7d1f95d363","datavalue":{"value":{"amount":"+0.6449043154716492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3614845$498B8CDE-15C6-4A1C-ADFF-CF84D07050C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273e2effce619d11b523dce86d03be127a257f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5308712,"id":"Q5308712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bdf22558a92958bdca94b498cdfa2fa791f5f2","datavalue":{"value":{"amount":"+0.6440252065658569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3614845$C9938BE9-3AF9-43EC-B788-DA42D58C844C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614845"}}}}}