{"entities":{"Q4647568":{"pageid":6677149,"ns":120,"title":"Item:Q4647568","lastrevid":36461993,"modified":"2024-07-17T19:54:06Z","type":"item","id":"Q4647568","labels":{"en":{"language":"en","value":"The greatest common divisor: A case study for program extraction from classical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002043"}},"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":"Q4647568$67356162-70C0-4E78-8526-C8CB5D9B47BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cc67a12f4766f1951e110dc739050d701372803","datavalue":{"value":{"text":"The greatest common divisor: A case study for program extraction from classical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647568$D3917C17-BBEE-44B7-B96F-319597C35873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc73dd9b9999c9d3b8c243bec664a0f961814ac","datavalue":{"value":"1434.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$FC0B7BED-095E-4254-87D0-31573ACC100F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"847ac9efa5825a0c6febbeef07c3515eeabd32ae","datavalue":{"value":"10.1007/3-540-61780-9_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$B53FB233-6CF1-44B3-BB85-B067698A32B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$35E403C4-104A-4502-9969-E5E317D809F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$7803129C-0A08-4262-89ED-D31CC456465D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$44297C49-655A-440B-8021-BE59ADDB9539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647568$10C5B9A2-6B5E-4F4E-B97B-342E75F22F48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$83E9B89E-2F3D-47E5-95D3-C6ACF8C58102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$C3DF5979-812B-4BBE-B704-B734E297654D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d37b9d5379d05a633400b9de272798e4a1af77c","datavalue":{"value":"7002043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$F1F2BDCB-0D1D-4A21-BB63-FF24157F651D","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":"Q4647568$B0B93815-3396-4A21-8F96-FA0722DB7BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aadb1e47ae5a047b082cdce484011b9f15ce1c9e","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647568$AD8CC66E-2762-4281-87A2-2FCB19AC28E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e7f079c7e97ec675ce91a14b867b2e0f8238b1","datavalue":{"value":"W1880891081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647568$BDE735E4-E2CD-4193-BACE-4110E055FDDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"079581106df11c72b68bb08c8e3f6fdb85f44f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4842532,"id":"Q4842532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$E1AE9C9B-9D9D-49E0-B813-98921BD92850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$454642C9-F18C-4692-A1FD-0ED156405A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$9D473812-DE17-4F3E-910F-1653A7655909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647568$1B8B4267-4444-498C-9572-E8767F5409C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647568"}}}}}