{"entities":{"Q3668848":{"pageid":5698754,"ns":120,"title":"Item:Q3668848","lastrevid":49974094,"modified":"2026-01-12T09:51:05Z","type":"item","id":"Q3668848","labels":{"en":{"language":"en","value":"The verification of the protection mechanisms of high-level language machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823123"}},"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":"Q3668848$D1F88B60-0402-4899-863B-5844D401C1A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9585cbce664c14511e72a37e81ce1643a511b6cf","datavalue":{"value":{"text":"The verification of the protection mechanisms of high-level language machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3668848$A9298A1B-3D56-4D56-9735-75077C38671E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7724958c4d0ff0d54f2859a580092cafa2f9569","datavalue":{"value":"0519.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668848$B0F59F2E-1EB7-45E4-9ECF-EA483BACD10E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"240747a9e64326d4d4d2f6f3831c0c4c0b7bba4f","datavalue":{"value":"10.1007/BF00991620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668848$52282670-ACA1-4AD7-9AFA-C3179C281482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9346992379100f22cc873e9f55789ec76bf5ff27","datavalue":{"value":{"entity-type":"item","numeric-id":414936,"id":"Q414936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668848$3A8147A1-8E10-4C1D-9C48-EB08F27F8EA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668848$5C48B3A4-0E46-45A0-87F3-B0C824DC97EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3668848$9595A61D-210F-4CA1-B444-071ABCB399D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668848$F0323058-64BB-4994-9803-94AA8A5FBEA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"381ffbe9c31cb411086c1db3c17b0401c191e4c7","datavalue":{"value":"3823123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668848$D564E7B7-7B78-401F-8E5B-4545904392F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28be5bbd7a2a9d479df93a46c434d6892cb0ed57","datavalue":{"value":"protection mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$C6E6B715-CB9C-4B46-8A49-04D027B55035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7ee6e96f54cf8fe0cff5fea3d208243ec01383e","datavalue":{"value":"verification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$8B829C8B-B9AF-43E7-A555-30CB7ECA780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f326a6f089bb5047d630fb1bb5c9e3b51e16b33d","datavalue":{"value":"correctness and completeness criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$6F83E4BF-B65A-446B-959A-F27E57656428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffbfe5218ca82031cf386726967dadc693219b5","datavalue":{"value":"model representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$721E742F-57CB-43A8-945C-D710E469ED71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f94f2116790dfc8cac61764c33803f9dff61c9","datavalue":{"value":"protection constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$448D2F05-16F8-4D5B-80FC-19989C27EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7ad5a1e0bdc4f37f349c1ef9d790fc68bd6905","datavalue":{"value":"access privileges","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$77880CB6-6B7E-4FBD-872B-E4097B02173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b61d7b9e8ce16d9ed94cc54052f40b8d6db9a8","datavalue":{"value":"access matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$8C29D7B9-9F1E-4CBD-BBC2-2714118EEEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ec7d5b940a0485442813ff34e182cb8f5299d1","datavalue":{"value":"Burroughs architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668848$10C8E301-BDAB-4080-B533-7A254E224D39","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":"Q3668848$5748E515-E6F2-4785-B674-BDF623FECC25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66494b46981fe882740e7c86e30e7922307437","datavalue":{"value":{"entity-type":"item","numeric-id":1248369,"id":"Q1248369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668848$7FF0CA71-6B87-4059-B667-64DBBE62C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a866afa4e64dc21cde676532ebd7b7acbb4acfb5","datavalue":{"value":{"entity-type":"item","numeric-id":4181241,"id":"Q4181241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668848$B1552409-E263-4374-8706-FB369C906787","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91966d0bfdd29e125d7baa066bdd8e1c068bf236","datavalue":{"value":"https://doi.org/10.1007/bf00991620","type":"string"},"datatype":"url"},"type":"statement","id":"Q3668848$D79229EC-EF8F-4412-B640-6112BD273B68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2954cf0f692f4238bc4cf7a7814c33044d0e2ed","datavalue":{"value":"W1982026324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668848$F95C3F8C-5560-4F54-B5E6-F005CA364A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3668848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3668848"}}}}}