{"entities":{"Q3034853":{"pageid":3045569,"ns":120,"title":"Item:Q3034853","lastrevid":49348948,"modified":"2026-01-07T00:24:13Z","type":"item","id":"Q3034853","labels":{"en":{"language":"en","value":"Implementation of proof schemes in the method of invariant transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133525"}},"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":"Q3034853$C328205F-2F9F-4455-95D0-BC6A40298797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffadbf3c6ee5aa1f5dddf8d4082bf40cf1660732","datavalue":{"value":{"text":"Implementation of proof schemes in the method of invariant transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3034853$F309C7BC-7E65-4507-8B19-259DA5982617","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b06aad4827cec5d3ff1dd3652f8f7961a0fb120","datavalue":{"value":"0692.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034853$2ECD0FCA-E52B-46E2-A2F8-1FF77741556D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7ad1057484032b70a38acd8319054895194b594","datavalue":{"value":"10.1007/BF01132092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034853$07A6FD78-F029-4600-9062-D65F8E755FFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5e05fc5162355cd2e06773b462a5c28f32c630","datavalue":{"value":{"entity-type":"item","numeric-id":446184,"id":"Q446184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$106A577A-A9BE-4970-B2BA-D14972D858B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56f8a1bae34a12e7399575f8d1b899520b26729","datavalue":{"value":{"entity-type":"item","numeric-id":3034851,"id":"Q3034851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$B62E30AA-BD16-48EC-A2F9-F05D8F9BFB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d61e8fcb07976221c39a84980fd1d0d6a50c2e22","datavalue":{"value":{"entity-type":"item","numeric-id":3034852,"id":"Q3034852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$A698D526-E723-48FC-8ADD-E5278A5F7864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$17EFE407-1190-4E1F-BDCB-5A5484275567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3034853$D4BF9077-B2E9-4E77-97B0-7F97CC38C4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034853$7F9FE7A9-9997-4A68-A29F-305441A77954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db0a26b71282f1742b2761f1a7432cb0f6e3adbc","datavalue":{"value":"4133525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034853$64E67955-53DA-4354-9374-F0BE6BA43F5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83af6551c8524b0d150ec2b6af62bc8d5ad702ff","datavalue":{"value":"proof schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034853$C8B26640-3D04-4498-AFF8-083095ADB8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a520b8c4fe9f992237e51cf879e4037ddaeb89c7","datavalue":{"value":"invariant transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034853$53CB4E1D-4838-468F-96B3-795AB75A39F4","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":"Q3034853$E9AF5D08-F7C6-4477-B90C-FB1CB53D05F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$96111E53-B1AB-4665-B410-7630005E1B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$780AA06F-1281-4AAC-93F5-AE70A71AAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034853$4C9EE140-F7BE-45C7-BACB-ED524977E96F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60e9364116ed17985a6bd74b593387443f0843a","datavalue":{"value":{"entity-type":"item","numeric-id":3770496,"id":"Q3770496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8ba6f9a99b045ce23320e4195b078f3e9027af","datavalue":{"value":{"amount":"+0.8176179528236389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3034853$DDFE1218-DE25-45DE-B75E-1AC507CFC966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24a00ae0493f8e03a7fd5d707582097c0e021df","datavalue":{"value":{"entity-type":"item","numeric-id":3327747,"id":"Q3327747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27eab03c2b6eb82252b1145ca58c68ed2c8dc97","datavalue":{"value":{"amount":"+0.7195142507553101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3034853$A318BE5B-41E0-458B-922F-0B0FC3740DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ceebe865e77aff9416d0797ad6740927d1eddd","datavalue":{"value":{"entity-type":"item","numeric-id":3808065,"id":"Q3808065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26122641225ca5eb01005b008f46ea662fbeb8e","datavalue":{"value":{"amount":"+0.7178047299385071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3034853$17BFB4D1-1EEB-4C03-AC51-41981D0DD483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47ada552ec62c0cdd64c84c0989856e6ec8c5b7","datavalue":{"value":{"amount":"+0.7025743126869202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3034853$CD649F88-D240-4532-B84B-461C870B302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130b819282781f7f80ca463a5f62622ac4056b6","datavalue":{"value":{"entity-type":"item","numeric-id":857692,"id":"Q857692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50112e3b3e465f9abc627431190728525c9a6aad","datavalue":{"value":{"amount":"+0.7022110819816589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3034853$3C2C7A8A-53D6-4D61-AD5F-E1A62FC56612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3034853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3034853"}}}}}