{"entities":{"Q4172940":{"pageid":6202541,"ns":120,"title":"Item:Q4172940","lastrevid":28397579,"modified":"2024-03-05T13:34:49Z","type":"item","id":"Q4172940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3607513"}},"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":"Q4172940$2FF20ABB-0908-4B38-88F0-A697EB076A81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2d072bc488f71bb290caabf79dcdf03fc11d79c","datavalue":{"value":"0391.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172940$A0C88C8D-FBEB-42CD-A3D6-D1291222203A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62b27c68ecf08dc2ba72d1e485ef31bc347e7956","datavalue":{"value":{"entity-type":"item","numeric-id":4134936,"id":"Q4134936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4172940$379FEDF8-EF94-4F0F-ABB5-7FB3DE791DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3bdb4d41eb4e3ef391331373a058c2cd49dde4","datavalue":{"value":{"entity-type":"item","numeric-id":4138148,"id":"Q4138148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4172940$F095BB59-C8E6-43BA-A415-B2EB53F8879E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4172940$CCC1FFC6-FC76-4203-9371-55A1E31B5374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172940$79AE7B2A-C9D5-4C9D-945F-DB016FA42EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172940$56C55900-E159-4E76-8A1A-7880D0CD41E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af0ce776fba129e8ab842b0f6135cd315d7fec4","datavalue":{"value":"3607513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172940$B169EB17-CFF0-4EBC-87D0-E840CF44983C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559828d9e4b41694f5db7298e822c1b025b3f1b9","datavalue":{"value":"Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172940$12350D41-3EF9-4F70-92FD-2AAC46C04AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a28a1c28c2aee0bdb6b2dda176f5fcf27bb60f24","datavalue":{"value":"Parallel Processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172940$4E3AD0BA-FA0F-4546-B961-81F9275371B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9dcf28d178e7d7b725f5d6abe8d0119a23c8889","datavalue":{"value":"Actors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172940$ABE336AC-1EDB-4AC8-8199-DF9AD34432A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecd61a7ce46586313f94db3f5e103e80d502c566","datavalue":{"value":"Processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172940$8E3C7657-7F7C-47C4-87BE-7C63766C53C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d4cfd38672ce7259507e4f4123f53df86e82ce","datavalue":{"value":"Continuous Functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172940$3866F8A4-CF4F-4722-B3C3-512E876A25AA","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":"Q4172940$E1D8E64C-38F9-4B2E-940B-C98ED8865620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4172940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4172940"}}}}}