{"entities":{"Q5210784":{"pageid":7240355,"ns":120,"title":"Item:Q5210784","lastrevid":36553858,"modified":"2024-07-21T11:22:34Z","type":"item","id":"Q5210784","labels":{"en":{"language":"en","value":"Proof script pragmatics in IMPS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154558"}},"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":"Q5210784$CDBEAB62-8A87-4F0C-A2B1-359C1C526FE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a85d6fa31394955d8d1dc1f6b313f019a107a91","datavalue":{"value":{"text":"Proof script pragmatics in IMPS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210784$1E92D66D-BBC2-4BAD-B51A-D112950707F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2773c6a79346dc995a2924c16e94a0f7549f82a","datavalue":{"value":"1433.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210784$77ACD7A6-D12D-4259-B368-7C46D99EAE00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d08228d85c3dd4829175cec7e4062b5f8f95150a","datavalue":{"value":"10.1007/3-540-58156-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210784$73D4354D-82F8-4108-9785-32C9BE648BA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$DEF2BF84-B699-416D-B884-CF2C792A8C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210784$0228D90D-6ADA-4E01-9BEC-88B7C6B465C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210784$64535833-5925-41E6-B6D5-D3E107938539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"214fb5779baa13069a607202ed4eedb6b5c91de1","datavalue":{"value":"7154558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210784$7784793F-3120-4D3F-B70F-DA1643250C22","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$5C8A849F-BC3F-4F3D-9325-C54B4966AFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$2E679241-9C12-46FD-A02B-4C7FB13C4D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$E558D931-BAB4-46F9-BBFB-30CBF67E5934","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":"Q5210784$278BC38D-C900-4A4E-947F-D1353839D6FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0f3f2849b74ad81b89847a8b2ae1bd0dcdf18eb","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210784$7D90AAD2-B55A-43D7-9617-CC5F4891E6C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4109120fbce65d5c766f2160861b193c5364248a","datavalue":{"value":"W2097817507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210784$0C65CC73-534C-488E-8312-0B9C9DA05CBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79085101887fef7638c901f59dd636a71ab7ae64","datavalue":{"value":{"entity-type":"item","numeric-id":4647527,"id":"Q4647527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$BF334ADA-7A7C-4CD4-8A11-43435F7F538F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$9767189A-E5A6-47A6-9895-67FD462595B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$86580AE3-6A79-4C72-A825-3AC5BD1D27FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f498f2c3a8be7b2ce1b389b10bfbcdae415659d","datavalue":{"value":{"entity-type":"item","numeric-id":2914641,"id":"Q2914641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210784$F9EFD3F3-CEA5-4D36-AE4D-C0E32BD3F08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210784","badges":[]}}}}}