{"entities":{"Q973055":{"pageid":974903,"ns":120,"title":"Item:Q973055","lastrevid":50996324,"modified":"2026-01-16T03:30:12Z","type":"item","id":"Q973055","labels":{"en":{"language":"en","value":"Automatic verification of Java programs with dynamic frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5713419"}},"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":"Q973055$55EEDDD1-DAE7-42EF-BC74-9CAC7FFB7D12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f96005210a18ce2ed76f282de9239243d9c27e45","datavalue":{"value":{"text":"Automatic verification of Java programs with dynamic frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q973055$0037CC7A-AD08-43E6-BF23-8CEE70115B36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7bf8be7b12ce81928aa10f9d23323c2bf3a8b91","datavalue":{"value":"1204.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$A7E842CA-840C-4466-9EFC-B11B078F8B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"106aaab1693ab27b4c2edf1c8a2b6ea34a9f416f","datavalue":{"value":{"entity-type":"item","numeric-id":973053,"id":"Q973053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$4C97425F-536A-4402-96AE-31DC4EB6EF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$2C7C014D-A523-4424-9816-DB3825239E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$4B9A20C1-6F7C-4937-A230-8F0B44962781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd9647a0ef3c6e07612efd4a1e02aa8e3512aa","datavalue":{"value":{"entity-type":"item","numeric-id":973054,"id":"Q973054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$2EBA3BC9-EF63-4C77-B454-0BF8DCD22E83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$478A04EF-6C85-4132-8BF4-4E32FC48BFA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0dd9350793171b1d4c029f4c515e1e2ec3a8f1","datavalue":{"value":{"time":"+2010-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q973055$56A972C4-7240-4612-82E1-D04B8D547C0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$78BD1E0B-B3BD-4676-985D-04EFB9D29432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$730C9025-E6C8-45A3-90B7-AF57F74344C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$EFFBAA98-B152-42F3-B8EE-1890CA9690E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a6e9f898cd32414cfada728995c9f4b9070988d","datavalue":{"value":"5713419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$7850DA68-66B1-4119-AA55-9C2C712A5472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q973055$3F316010-D8FC-44DD-8EDA-7DF5ED9A41FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a978cc9a1be566ca0be306ceb9112dcd09d21ed1","datavalue":{"value":"dynamic frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q973055$60F686C9-36E3-49A5-95A3-B66E47BB2C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q973055$504723E7-CD11-470E-BC79-19C60A63D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q973055$78BD74E6-AB91-48BC-962E-7A5E4E7619F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$4A1E15D4-8EB0-4B3D-999A-61A37D88C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$9A7D4E39-26CE-4813-88EF-5D08CFD18668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06727156bdcdb8fa6ebece193f9bdf813b752de3","datavalue":{"value":{"entity-type":"item","numeric-id":36100,"id":"Q36100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$FCE988ED-BC70-408B-A689-FB967CCF8A7F","rank":"normal"},{"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":"Q973055$F219D274-8460-4C18-9E45-5F2DE6957AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$AB03145F-44ED-4E58-9EB5-06D3E5AF4E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$5028FC35-3D99-488B-96A1-603CF7266E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$338ECE8A-69AA-4309-B720-70D59BEF3BEF","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":"Q973055$985B9FD4-FC7B-47F5-929A-EC504C0C069F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dc64326429d238c5dd5f4492d3c3f4177bb0bc9","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0148-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q973055$F495643B-9DB3-4534-BE0C-44AE3272442B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"114416cb02093706b65d8407f4ffbf7056e227ac","datavalue":{"value":"W2069522167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$7EC1F559-A925-4B8B-84D2-85EA6EDC9827","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$3CFE9066-8E0F-4181-BD78-8689319ADE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2277e839c342e3820c32c5da3191688c45d3d662","datavalue":{"value":{"entity-type":"item","numeric-id":5313101,"id":"Q5313101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$E26F5EAF-7541-4646-8B07-FEB892E8B528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396b655c4dd9f268787285765ef9b66defde1a32","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$43591566-82D7-47C0-90D4-59524F928887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562b44e5b1efd6b73efa833f666ae0b706baadad","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$849C6DAD-F4A7-4297-A2B8-AFEB483C9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d635bdaac719356d8a6cff12d936845108210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5756488,"id":"Q5756488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$BD53A4A9-06CD-4BD8-95D8-ED50611C0475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8389b6d4de95d5f32c1720a6633b14fc9e5085a","datavalue":{"value":{"entity-type":"item","numeric-id":1271854,"id":"Q1271854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$E270CCB8-8414-4FDA-A3CC-5BE9CCDF9501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$3CBFA7BF-66FD-4924-94B8-6F66C5899AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$4D73577C-2DF8-4BD9-B663-26D6E89A9475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385242de83e138aced481871472b1270f3d4ac0f","datavalue":{"value":{"entity-type":"item","numeric-id":973055,"id":"Q973055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973055$3FF5B0E3-C88C-4527-8DD8-F6E65AB81F21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81feabc24fbf4d5fd3005952202157927a49c1ea","datavalue":{"value":"10.1007/S00165-010-0148-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973055$8C043B1F-6195-4B25-9C11-DB5072BA4AAF","rank":"normal"}],"P1643":[{"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":"7cc0a15177784aa404017b60e7c5d26721ff4b3d","datavalue":{"value":{"amount":"+0.8296474814414978","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":"Q973055$EDEE33A9-D1C7-4C61-B11D-F7527F7D1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a005f1de291c7933e70e368b3b8c710626b22f5","datavalue":{"value":{"entity-type":"item","numeric-id":3000638,"id":"Q3000638"},"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":"Q973055$76C54AEE-616C-4005-B1FE-926B36421BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeba3f8866b34934559bed7fda11db15db3d41eb","datavalue":{"value":{"amount":"+0.763482391834259","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":"Q973055$3291B18C-9991-42CE-A94A-04BFBEB53803","rank":"normal"},{"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":"f8758650aee834172bb5e58d8c5ff4fcd12b7ea8","datavalue":{"value":{"amount":"+0.7610187530517578","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":"Q973055$2F366257-3A33-4010-A7CB-F96F0946517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d2c1a425cb8b4b9f0c00b6103be1488e6f1fb5","datavalue":{"value":{"amount":"+0.743998110294342","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":"Q973055$A08D895E-44E2-4D5A-9C79-4549F96C1D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:973055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:973055"}}}}}