{"entities":{"Q3723675":{"pageid":5753581,"ns":120,"title":"Item:Q3723675","lastrevid":50762939,"modified":"2026-01-15T02:14:35Z","type":"item","id":"Q3723675","labels":{"en":{"language":"en","value":"Predicative programming Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954248"}},"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":"Q3723675$D15EB1D4-F031-422D-92B5-3A5808D0E3F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6069a4d93e843dec2f59778308bc4c772f23738","datavalue":{"value":{"text":"Predicative programming Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3723675$88F03BD5-713C-4E0A-B996-5B4279456113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26143d76532ae4fa3216b55ec2fca78497afef45","datavalue":{"value":"0593.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723675$815126CD-A668-4983-B076-718A2B650E56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8eb98fc5ed9b98dbb09c474315d649f32b44143","datavalue":{"value":"10.1145/69610.357988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723675$0C8318DA-E286-4462-B161-E9D15D11AE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797df0a473afbed23917f097577319b472ccc881","datavalue":{"value":{"entity-type":"item","numeric-id":640291,"id":"Q640291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723675$F5F17F81-E7AD-4482-B765-BA9B58285471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3723675$33CB4F34-24BC-4A61-B8D0-9CC5D92BE630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723675$D248DCFC-6EEE-4B12-BC36-49B098D0A2C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"157a462458a657cc313aefdc7cdb485ad1d38775","datavalue":{"value":"3954248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723675$0A9D2676-ABA5-4F1A-AF15-5449CF262C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723675$B55535DC-14D9-40FA-B491-F1620ABF232F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723675$093AC31D-A87E-4852-90B7-BDBDD451BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9609024f9a0db99f671199dddd9a479f6ad32f5e","datavalue":{"value":"first-order predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723675$78E57F7D-5846-4E94-A955-010A19FA9AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723675$1ADA9B94-BB73-41BA-9CFB-FE02F09DE588","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":"Q3723675$1F905B72-8B9C-48F0-9443-00CCC938FA29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"811db1336d5f16ee2b2632a806bb9454a0a4b8b2","datavalue":{"value":"https://doi.org/10.1145/69610.357988","type":"string"},"datatype":"url"},"type":"statement","id":"Q3723675$C358C9D1-F44F-472A-9358-5F2A3FB23421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c93f727703a9a94059a8f83b1f1b45e75af21dcf","datavalue":{"value":"W2062251861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723675$5E07AA82-F4A8-4717-A243-380E852435B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723675$56604B1D-FC5B-45B0-9858-1C6B67D5D539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3723675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3723675"}}}}}