{"entities":{"Q4182501":{"pageid":6212102,"ns":120,"title":"Item:Q4182501","lastrevid":34621553,"modified":"2024-06-12T23:24:54Z","type":"item","id":"Q4182501","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619885"}},"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":"Q4182501$4C76CA8B-623D-40A8-B06D-E5A1EB0689BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd14efa75256ae85c4b5bc91048a5bb39c124e4d","datavalue":{"value":"0399.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182501$393175D1-5836-489D-BF15-B0A5F15B68B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4182501$AF6F11A7-3CB5-4464-9577-08CAC1009EB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7f6f430f06c10db39c4fdae745f56285d0dc587","datavalue":{"value":"https://eudml.org/doc/92026","type":"string"},"datatype":"url"},"type":"statement","id":"Q4182501$04B4954B-3EEA-40C9-ACEC-F4975BB297C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182501$33DC2F5C-D4D0-49EA-85B1-F77622381FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182501$8F38F848-15C5-4078-B623-ED426A277131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182501$D3A2407A-2426-4FCB-9B78-0B3C639A170A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a2a2421bbe2eebfbb4fc2a525fdd60627d9fd3","datavalue":{"value":"3619885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182501$B92E305B-1D0A-4BE4-9F3E-95AA83C2A908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788b225fd7807846a204dbd589eec1ae94ea94dc","datavalue":{"value":"Speed-Up","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$1338612E-51BA-41A8-9811-033F7AAA3E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1042c51e5aed284f649bd510d49a648c34c972d0","datavalue":{"value":"Decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$794D64D7-C657-438B-ADA1-A7E0660C9A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaffe32f1dbde3a6d7538b9853c66be310b4e2c4","datavalue":{"value":"Axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$23EF30BC-1275-45F9-BF2E-56F9D325AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3b7b496080006f8fe5694a8eb2a7600e339c88","datavalue":{"value":"Formal Theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$B26FA0D1-8CFC-4AF2-9BED-BF5CCF3EF55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559828d9e4b41694f5db7298e822c1b025b3f1b9","datavalue":{"value":"Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$AC70EF03-4F11-4F49-85DB-7D28CC1644A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f8c93c2fb95bcecf461380254b8421841ddd00","datavalue":{"value":"Complexity of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$54EC9558-B207-49C8-B0F9-A26F3871A755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7e173fd1c59f68080cbfbc8a1faedd080be092","datavalue":{"value":"Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182501$8324BAF9-EB1A-4F72-B979-CB5EC4BCEE64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24581060e1fc674d2a5c7705dc19743c7374ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1071499,"id":"Q1071499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$3FF3EB78-32EA-46AE-9D96-F7C8B29EC104","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":"Q4182501$C4D699C3-9828-41B7-966E-341464C4E04C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$AB4C125B-4F80-462E-A9E3-3F8E103529F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8163a5081f8b0b291e678042b7038ef6a2c37a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4101804,"id":"Q4101804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$DD31512E-A286-4866-B9CA-D7431446ECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$DDD48526-DB9C-426D-8220-38BEB0DEFBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4599b54c47255e2f921c5486f3ee2a3391752ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4076767,"id":"Q4076767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$F20077C6-878B-4F3F-B8AC-1DEAFE06BCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830b7c2e687406b6aec73542f3f86742d97b5bac","datavalue":{"value":{"entity-type":"item","numeric-id":5633652,"id":"Q5633652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$8BFFCE27-91A4-443C-8B45-09343BE02DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bc6d932f6af9eadec9ab4825895f5ea6edcb05","datavalue":{"value":{"entity-type":"item","numeric-id":4069780,"id":"Q4069780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$4377D1BE-4AD3-4F18-ADF2-3C3526803E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182501$8FB2D4D2-DCF6-41DE-A93D-F487141465B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4182501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4182501"}}}}}