{"entities":{"Q4190105":{"pageid":6219706,"ns":120,"title":"Item:Q4190105","lastrevid":28413437,"modified":"2024-03-05T13:40:24Z","type":"item","id":"Q4190105","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628357"}},"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":"Q4190105$333AF3F4-CAFD-4EC9-A492-8A5105081B7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203a3040fb6edbca55950e29f93d723dfea9b2a4","datavalue":{"value":"0404.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190105$98D0F304-F9AC-4562-89D4-1E0B21AB6D5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14be06102220c5c0ec66937199d7db0935b53b02","datavalue":{"value":{"entity-type":"item","numeric-id":1108053,"id":"Q1108053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190105$26165548-09F5-401D-94BA-8F9AB2911BEE","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":"Q4190105$97DB5412-B8DE-4F28-8313-422563EFACE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190105$33A1F420-D589-4BF1-8581-B43E55A87BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190105$295C6C05-FA57-4E22-9394-D90F29A1F47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baa2dacaa5a16faefcd206e1dfc14936b9057426","datavalue":{"value":"3628357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190105$BD49404C-5F62-4114-98DD-52FDC9E29E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedc9b38f24d3600f9961ea5768b30e9538fa238","datavalue":{"value":"Verification of Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$5CF7C15C-F1CA-4CF9-AC80-F242F7D8D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da7b28c9080b2087bdc29d216d88ad1eb56ed33","datavalue":{"value":"Data Referencing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$BAB489B1-0F6C-48E9-9D07-3BBEB02CE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f91a060d75b9219ee68d120bd331907aaec09d7","datavalue":{"value":"Many-Sorted Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$B89F9872-EE03-46AA-A22B-6C9E50C30F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fc2b5f5a45f9e60430765dbcac4f9695ae9bdc","datavalue":{"value":"Algebraic Congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$A310C62E-5197-4743-9B71-D1FEFBE45EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437260816ef8d81294ebbbd633177043178e71c5","datavalue":{"value":"Abstract Data Type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$3FEC4F6A-10CF-45CC-BF03-AF831C96C8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c9f81f038746f16a02b433f7730eab2a23b64a","datavalue":{"value":"Linked List","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$2C584FEC-45FE-4B01-A210-CADECB76898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438a215c5cd761877e86d4291eeff2dfc5116c02","datavalue":{"value":"Lisp","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$1F36DD02-B053-40D7-A6AC-45D3E1CAAB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf55843050ed3135295c73c30c82abd78862df7","datavalue":{"value":"Correctness Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190105$EB088D86-FAC8-4CA9-A307-1271174BA07D","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":"Q4190105$2DAB24AB-C318-40F7-8425-C34A86AFC10F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4190105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4190105"}}}}}