{"entities":{"Q1253540":{"pageid":1264290,"ns":120,"title":"Item:Q1253540","lastrevid":70001961,"modified":"2026-04-13T11:46:32Z","type":"item","id":"Q1253540","labels":{"en":{"language":"en","value":"The clean termination of Pascal programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3615858"}},"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":"Q1253540$963A5AAF-6933-4D54-BC1A-7AAEF55F1553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ee8fe6f489c1d3e9354dd875ad4d3bb71896d7e","datavalue":{"value":{"text":"The clean termination of Pascal programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1253540$38FE7DAF-2DEF-4D02-95AE-F604505A88D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"806061b242862859b6513e74697ebf583785af2e","datavalue":{"value":"0396.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$6062ADE2-5B16-4348-84AF-2E4CC5D492AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d29a4756d3026b17c4fa886700c79c9d9b358142","datavalue":{"value":"10.1007/BF00289066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$70F92A8E-3CE7-4C01-8935-845161728E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$F5DDE11B-0855-4627-9388-9A8553670168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$CD4243D4-5A7F-4DC7-8896-3674225DBEC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1253540$7BCF78E0-C5E7-4A18-89AC-2BBEE866685E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$902B8DBA-4808-444B-B82B-AB184C3392E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$FAA76E64-FD4D-49D9-A0C9-67A7D856D669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f86a061a211bd9a9067ab49e477113a2cf610c3","datavalue":{"value":"3615858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$F0345C84-866B-4D9F-A0FF-C9798576B30A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b369a9206927903f4a4379e15653170b262e3180","datavalue":{"value":"Axiomatic Definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253540$C197AB66-9EFF-49CB-BFAD-E977269E538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f61abd15efb11115d4e6ffbe124c146a63cce9","datavalue":{"value":"Clean Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253540$A2DBF6E8-8319-4784-8980-80BCD4157089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfed4748623cc6ebc606dbea67d524854f1b90b0","datavalue":{"value":"Program Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253540$24658E99-91C4-4C31-B8D4-8C85AFF0F035","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":"Q1253540$2C75DCD1-87F6-4488-A0BF-AC90FC1296D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$3457BC72-7182-4193-98CB-C6E11DCE4850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c29ffb51cbd2980402aa47f3b9ad9f47c5d519","datavalue":{"value":{"entity-type":"item","numeric-id":4772697,"id":"Q4772697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$64353DA4-1739-44D1-B74B-53F07790AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$8EF0BBE6-59EC-4E68-9898-176FC8E3B6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$3E9EB665-EF63-47DA-8CB9-D25DFD7F2175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253540$316A0538-3536-4840-AC91-A884F5CD2E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59d246124a5b65f3d32b27c2728827539b7fac3e","datavalue":{"value":"https://doi.org/10.1007/bf00289066","type":"string"},"datatype":"url"},"type":"statement","id":"Q1253540$3579B269-DBF0-4E17-AB85-8F840ABBF3E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81175ddc706aaaf3877b2a5e54b96db4c300a6ae","datavalue":{"value":"W2025151086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253540$3D28FEAD-29F4-4246-969B-3FD1D3CDA09A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The clean termination of Pascal programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_clean_termination_of_Pascal_programs"}}}}}