{"entities":{"Q3000638":{"pageid":3011362,"ns":120,"title":"Item:Q3000638","lastrevid":85367876,"modified":"2026-06-03T07:25:20Z","type":"item","id":"Q3000638","labels":{"en":{"language":"en","value":"Enforcing structural invariants using dynamic frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897397"}},"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":"Q3000638$B745D2E5-1841-44AD-9B6F-D0711DB3273B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0192aa0d3710434a9cab3aad6c576e9dc9d13be5","datavalue":{"value":{"text":"Enforcing Structural Invariants Using Dynamic Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000638$C3F9D009-21DA-4601-81FC-F13BD7157E20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca1ab138d3f1eb1d2d3ba15619e426332247c99c","datavalue":{"value":"1315.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$392131A7-23DE-4000-AFF7-01553FA13B41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"732c470058311ab4779168084e4f6ad377106db8","datavalue":{"value":"10.1007/978-3-642-19835-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$F274F5A4-AC79-4686-8B00-903DB09EE176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ece4b46a4cc01a5278dd84fb8c0ecd2272b3cb49","datavalue":{"value":{"entity-type":"item","numeric-id":3000636,"id":"Q3000636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$216063D3-C051-48A7-A83D-B2BA1712A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$C0601D3B-D579-4B57-8EBB-4D5A9331556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f259ad279531423510e3c575d17b58c39c7f7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3000637,"id":"Q3000637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$E652B4C3-33E9-40C2-8919-7983D096EBDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$88368270-B960-4F95-B6B3-D630BDD53429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000638$3DB5F812-796B-48ED-97AA-4E9FCEEBF337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$AC3AB248-D8B2-49AE-81D7-789BA342E8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$C2473556-6F93-40E8-9FDE-FC67AE832344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$2A0BBFE6-559E-4440-8864-D4548FDA5784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"550c49d693ad16d6f31b38299885e770d9c58ca6","datavalue":{"value":"5897397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$21E59188-8D3B-4824-92C9-E5E513CCF5A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$55494786-8127-40BC-922C-6B13B1BC970E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d618f2518558acd5a4de20ebf1f4d24983053a90","datavalue":{"value":{"entity-type":"item","numeric-id":21728,"id":"Q21728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$39E4C3EE-87F3-4720-8467-904C7379FD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$730B14AB-AE90-4040-8CD4-CC094B9E0E7A","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":"Q3000638$0F5B6BF8-5A34-4B02-B11C-8C13D8275181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"559db8d4cf45a6fd1bf8a360894b9eae1dd21dfd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000638$046282E2-12D7-481B-A251-C7598E7744CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea93fd7163aace8a3038b0b8c291fef2f38464b0","datavalue":{"value":"W1582421782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000638$1138E1FB-4AA2-4702-BE20-806B839870F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8b0aabdaee6861cd9aace54e883283e49bb2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4250669,"id":"Q4250669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$54B7D55F-2CBE-431D-B42A-55673432D60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8adc689ce470baf801dd9e552396e6aeb1014b2","datavalue":{"value":{"entity-type":"item","numeric-id":539422,"id":"Q539422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$D4C379FB-F276-4B75-AEE3-E109D5A46560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$39E9DA56-94B8-4B57-B1E4-63704EE46D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$518EFA4C-35A5-4824-8D35-FD471B944591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b246c98de0e52097588815a52fd998f1c1e3d01d","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$41966E29-4CED-45ED-B20F-1920549A8F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186c4ecbf8700f32cc81202dc28f277d034a67b5","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000638$DD8B63A2-7061-40E7-9D73-3F1400534D29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbce4573c9f4e4fa728218faec1cc92c6c182d08","datavalue":{"value":{"entity-type":"item","numeric-id":539422,"id":"Q539422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffd565a41d47c0faf4b7a30fb59747ed7500786","datavalue":{"value":{"amount":"+0.7995497584342957","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":"Q3000638$8F97212D-B0BB-458B-8B50-EEDCDDA6B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde774097e35286f41f58d34129369087a47c35a","datavalue":{"value":{"entity-type":"item","numeric-id":3067542,"id":"Q3067542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622be801f7013a69499495873ee98f3755cdfda9","datavalue":{"value":{"amount":"+0.7702057957649231","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":"Q3000638$DD8E0D66-76F2-4614-AC37-F000B20D7085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b2b0edd27ef95b93e84a2786f95c093b1f65b9","datavalue":{"value":{"entity-type":"item","numeric-id":973055,"id":"Q973055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2be98d281b61aee115d06d492c19b986d5212f","datavalue":{"value":{"amount":"+0.7653966546058655","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":"Q3000638$F76276B6-1EE6-4017-8DFE-160B77B18A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946617d12263e38663b6254bc53336856f74a28e","datavalue":{"value":{"entity-type":"item","numeric-id":5410483,"id":"Q5410483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deaa213e19a26194a888e456c1a37c2e75d0dd30","datavalue":{"value":{"amount":"+0.7305232286453247","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":"Q3000638$E6B4E939-DBAB-414B-B8AF-543F839F9267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd0d74052d7a14d713d7890ad9799dba888697e","datavalue":{"value":{"entity-type":"item","numeric-id":2152661,"id":"Q2152661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfdc0eb7330e901b67c7aa9adb712b9f118b6a0","datavalue":{"value":{"amount":"+0.6927706003189087","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":"Q3000638$BB835B9F-AB90-438F-9346-B47706A2516C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enforcing structural invariants using dynamic frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enforcing_structural_invariants_using_dynamic_frames"}}}}}