{"entities":{"Q3935457":{"pageid":5965362,"ns":120,"title":"Item:Q3935457","lastrevid":81271847,"modified":"2026-05-06T18:08:21Z","type":"item","id":"Q3935457","labels":{"en":{"language":"en","value":"Reasoning About Recursively Defined Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3750269"}},"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":"Q3935457$91993C39-7AC1-4901-B00A-F067DE9EBC43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aca6b3a8e9c74c2fe8b6f5787b96b62c3a0f2cb","datavalue":{"value":{"text":"Reasoning About Recursively Defined Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3935457$3F082A84-A4F3-4531-AE49-5E8604E9AD8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7eb04351db7b5a67283b75abc00fb3fa16c0608","datavalue":{"value":"0477.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$8BF17C8D-7671-43B3-954D-2D9EE332CA6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"554f628427578f9d576e20b097a57f3014964793","datavalue":{"value":"10.1145/322203.322204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$51C053BA-8343-4605-894B-1521E358D42E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45c6592e2438a48f764e1b44f725e4446045df07","datavalue":{"value":{"entity-type":"item","numeric-id":1141137,"id":"Q1141137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3935457$E713CFDF-EAEF-48F4-AE1C-79844EA89F42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3935457$BB9CA65D-D469-47F2-9848-60B433D6D21F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3935457$85787D3E-D78D-48CB-BC42-33A7D94BF826","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$E5204CF7-9944-4034-BD21-6CF661D4ACFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$F67B7862-C109-4693-BEC1-B13DFDDAB557","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54b17391037b97ee9e76c6de1f90b3412da569f7","datavalue":{"value":"3750269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$AEC2411E-654E-4F30-A33B-B3785050236F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bd39e53908737551e2035be4577b1f3c430a8a","datavalue":{"value":"recursive data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$A48180B0-7183-4901-AEB2-D187D76FCAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$04464E88-5A72-4F9E-BFB0-D23D01188CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$B222441B-13C6-4E15-9324-4260DE7DF90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$4E8541EF-F3B7-432D-BE44-CF3BC2266BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$9AB1131A-3ECC-4F96-A9A0-40E1BC860E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3935457$6F4F750C-7CA6-46E0-8E57-7C6E3B53107B","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":"Q3935457$CA9CA45E-AD61-41E8-8237-8F7E26939AB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b897bfb614e89779810314520635594f2dca770d","datavalue":{"value":"https://doi.org/10.1145/322203.322204","type":"string"},"datatype":"url"},"type":"statement","id":"Q3935457$9F06CEA9-E364-4135-B887-038D1F5EC185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d86846b4a2e4436e9ac996306e978e7af9ee483d","datavalue":{"value":"W2095182415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3935457$BED847E3-DF44-4692-8B68-B3A9AA125926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning About Recursively Defined Data Structures","badges":[]}}}}}