{"entities":{"Q5594890":{"pageid":7624450,"ns":120,"title":"Item:Q5594890","lastrevid":32268064,"modified":"2024-03-19T21:53:20Z","type":"item","id":"Q5594890","labels":{"en":{"language":"en","value":"Properties of Programs and the First-Order Predicate Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3315718"}},"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":"Q5594890$0A022764-51CF-465A-BC05-F51B8D3848ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22356da9df7493ea1ab9a0b277d416571548af90","datavalue":{"value":{"text":"Properties of Programs and the First-Order Predicate Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5594890$64FEB8E7-D2EE-4043-B129-0C1DA65CD2BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fd5b2632af9782985643d859acc15d2fc64f0e1","datavalue":{"value":"0198.22001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5594890$449454D5-7FA9-4199-8E4E-8826FC2B3C53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346942db8d8d30c972968b08cd429aa1a0bcba8d","datavalue":{"value":"10.1145/321510.321516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5594890$3B5D349C-B1EB-439F-9B21-5B436236CF95","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":"Q5594890$59FBC844-1416-4C9B-A943-C24576B8B077","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":"Q5594890$65A73A20-6623-41BB-92BE-4CECB03BEBC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5594890$3E8DD7B6-D0C4-4D9E-9624-562D3694655E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d8de2d4a36a32039cdb3efd071feb6c7f9069d","datavalue":{"value":"3315718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5594890$5603EA24-55E7-4491-AF23-362DD36A96F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afc054b6d9f25076bb46efd19fc54237e81dfd5","datavalue":{"value":"computer science and automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5594890$E497134D-1A59-47A3-A51B-0F59E2713FC2","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":"Q5594890$CDFAF69E-E64E-4BD6-8493-0933469735A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb653acdbb8ed1b24149ed2408a1edbf244453ca","datavalue":{"value":"https://doi.org/10.1145/321510.321516","type":"string"},"datatype":"url"},"type":"statement","id":"Q5594890$5D20527E-68CE-4D7C-9BA7-D5B19F934444","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10bdf7f0d7c85639847a9884f7b0ff0b4bc16e98","datavalue":{"value":"W2032847002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5594890$2E645707-432B-4845-B3A2-C49431ABACBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5594890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5594890"}}}}}