{"entities":{"Q5606281":{"pageid":7635841,"ns":120,"title":"Item:Q5606281","lastrevid":37907324,"modified":"2024-11-13T14:35:58Z","type":"item","id":"Q5606281","labels":{"en":{"language":"en","value":"Formalization of Properties of Functional Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3327831"}},"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":"Q5606281$EEF67E9A-5420-40F7-B5EA-E79EBA16D2C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0882f2eb43a02696f8d5c43023a209863aff253f","datavalue":{"value":{"text":"Formalization of Properties of Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5606281$7F772A65-E01B-4222-A138-844B7B37B60F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3648b4dbde479260c7e70f56771ecac3505b5bfc","datavalue":{"value":"0206.17503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$9EB6963D-FC7F-4746-8E52-3E2C3C2E5EEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f54af9de209e2e4659533d7b6f0b34863d3879b1","datavalue":{"value":"10.1145/321592.321606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$32C0EA88-2224-44E7-AEC3-467CD6264D7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606281$FD310CD2-4226-4ACA-A21F-48CE998BCE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606281$BCC11CEA-AC16-4764-8566-4DB2BBB3B0F4","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":"Q5606281$E7B493A7-5807-4EC8-8204-4FB04899E9BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5606281$6F49A05E-A559-47CD-BD14-9590ED06D207","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$9D802C26-AAA2-433A-917E-4A4C332450B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acc94db7178abdd8d4915ea3745bafb83667da45","datavalue":{"value":"3327831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$9A99B90A-D3B6-40C1-ACED-1C296E5BF6D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"beb342bfedbb53605494dff3b2b699aaec4d2e14","datavalue":{"value":"Q56170162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$DADEC293-8DC5-4804-8331-C8967A0A14EA","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":"Q5606281$B2109BFF-12AE-49A1-B585-93D2601D4ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af543bd6cfe63cc92c13726b4c32e602aa871586","datavalue":{"value":"https://doi.org/10.1145/321592.321606","type":"string"},"datatype":"url"},"type":"statement","id":"Q5606281$AFCE4643-CC61-4689-9162-31DEB4367D55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45593b7e80bf610f478467261ca9eeea09dcf6ff","datavalue":{"value":"W2039586513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$1F98B97A-CB7A-447A-95D1-E3EF6B598797","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3efc63956d0c156c4221230307df50865e4d085b","datavalue":{"value":"journals/jacm/MannaP70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606281$9DD91D94-8F8E-40C1-AF58-19B1FC4BF63D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5606281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5606281"}}}}}