{"entities":{"Q4190134":{"pageid":6219735,"ns":120,"title":"Item:Q4190134","lastrevid":28413540,"modified":"2024-03-05T13:40:26Z","type":"item","id":"Q4190134","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628380"}},"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":"Q4190134$A02AD88C-CF85-46EC-9CF2-417DF5A1D46A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc8b2da7d9fa9ca0ce1fa369ffd09c300a207d8d","datavalue":{"value":"0404.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$2CFE1ECD-AE23-43BB-A40A-2CB0C861CB77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4190134$8E2CBC52-581A-4150-88D7-8AFF8801353B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$21D1AC5B-AAF3-44FB-903F-70F609A72D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$C19C1CFA-A553-4D6F-B58D-45DBCAA80E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$603D9558-2495-403F-8CEB-27E028F65B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$BE1BB350-FC13-46E6-A693-C1F1A106EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$E7C23A2D-4847-48D0-9FD8-B5B24CCF54C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$885ECC73-A7C3-49B9-8C27-1BD068581A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$C0079034-71AB-45F9-9AA9-74DA33C27DA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa8f79c0c6f1cb87d7038496b97024c817ba748","datavalue":{"value":"3628380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190134$0F9053B1-6335-4CAA-9774-0E9DAC447985","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a62357f768443cdaab1f010bab31f0bf8011f77","datavalue":{"value":"Formal Proof Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$C69F774D-27FD-4908-A6F8-91A4744270E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfed4748623cc6ebc606dbea67d524854f1b90b0","datavalue":{"value":"Program Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$B071306A-62C0-4D32-B7D1-EAF4A2FA0D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"674c162508764a75fb4b572fb6d905eb14ae3f82","datavalue":{"value":"Algorithmic Proof Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$28E81266-1D7D-4BAC-93DC-310E4ABA4AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72459105fc1ebd7d72fb4182e741e794a1e7934","datavalue":{"value":"Computational Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$2B14D458-19E5-49C3-9EFC-518F96F907C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03b144ef98d0dcdd5218ea68ef62afbde5cb30f","datavalue":{"value":"Decision Procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$4CD6C31C-A081-4FC6-89C7-68A00BF15903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28c51ace27ee526edf1a3cb2b0984866952c3f0","datavalue":{"value":"Fragments of Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190134$5F310081-FB9F-4752-A392-B08458F52807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf04d2e542c2ae6d281c4a9ddbcc3ed8dba4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1134755,"id":"Q1134755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190134$384DA0BE-6984-47AB-8378-AC7A82F4CE86","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":"Q4190134$15736F62-CC59-486A-AF0F-B24CA5735902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4190134","badges":[]}}}}}