{"entities":{"Q3305625":{"pageid":3316333,"ns":120,"title":"Item:Q3305625","lastrevid":80252081,"modified":"2026-05-06T15:46:13Z","type":"item","id":"Q3305625","labels":{"en":{"language":"en","value":"Note on the benefit of proof representations by name"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229607"}},"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":"Q3305625$E1BC7C49-7925-4E6D-B3EF-5044C68B20A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170b09c654d864621b8a76947dcb7cb1664d5433","datavalue":{"value":{"text":"Note on the Benefit of Proof Representations by Name","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305625$14703666-DE52-4E54-ACA8-88888B270C50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4acb925399943b9519eb4b1f6a6b3f03060e0808","datavalue":{"value":"1469.03157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$16F2DBFB-CBA6-463C-B7DE-DAAF6A8F3E85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c364f1cfbeaeffea38e5e398db84d7545b6dedd","datavalue":{"value":"10.1007/978-3-030-20447-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$5114E519-4686-418B-930F-1CA52C6B9C61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$7E2925B4-62C5-4889-8796-60FC0CE9497E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f60d256e5e9083c98526f6ab8bc547cb876a0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3305622,"id":"Q3305622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$64146E29-E0C9-41D4-93AD-1151E78B5536","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6eeac9bc08017af337b002c847426cefd8e704","datavalue":{"value":{"time":"+2020-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305625$780D5629-01D1-43BC-AC9D-93850D6ED090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$905B234B-EDD4-45F1-A5B2-B07C2E2F3562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$9B8B0D3A-D428-4B41-9D5B-0E7DDCA7819D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d4f3bd1c3e860006ce3dbe22736485b1cb6571","datavalue":{"value":"7229607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$CE4FA2C8-36B5-4229-B092-F1423997EE82","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":"Q3305625$0BE7295D-7145-4073-A895-9DFD0D4010C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23ccfd19cb3fcea76a8978e84c71db60a738becb","datavalue":{"value":"https://doi.org/10.1007/978-3-030-20447-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305625$08A117C4-F078-46F0-B80B-A030EA555EAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d79b60f6026512a28be42f871d6261ddb0d0c6b6","datavalue":{"value":"W2981852497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305625$9ACD779A-1A7C-4F39-8FED-773C43FC85E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$431277FF-936C-4BF1-85E2-D14A03FC2282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac25e63d54594f5eb2c84da7217cf5a703f75a44","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$C7B22DD3-832C-4F22-8E8A-7747AADEE7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$0AD8D983-8050-4444-91C5-4FDE454126FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305625$AB9411B7-15EA-4457-98DE-92B59CCB218F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33df592e28ab06a83d8404441908fe453818eab","datavalue":{"value":{"entity-type":"item","numeric-id":4593636,"id":"Q4593636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45dc7571eff379423f942ee8d53661ea61f69ac4","datavalue":{"value":{"amount":"+0.6954633593559265","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":"Q3305625$123CCB4E-E58C-4C8A-842E-543D62F41AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40d92fa97093c76018459af70da45c4cb1a659a","datavalue":{"value":{"entity-type":"item","numeric-id":3469102,"id":"Q3469102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8d640d0a15c30abc4076b5c557e32c86d7cc14","datavalue":{"value":{"amount":"+0.6917753219604492","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":"Q3305625$B7A0EA81-C7BE-434C-81FD-373829CE2800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f054cafebbda70a3435ec969ac95bf5370d2e4","datavalue":{"value":{"amount":"+0.6898396015167236","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":"Q3305625$DDBDEB77-7120-4CCB-B223-7567BEC070BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4223bc850b97395fd7a582f7f106d03ebd1f9f88","datavalue":{"value":{"amount":"+0.6823065876960754","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":"Q3305625$58653345-C1E2-4CE4-B062-0EE3A2151F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6716aae8a6d5d69e72ce1c624421e6ed91cfd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3582720,"id":"Q3582720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758aca0827740f65366dc431118b967629ad06a8","datavalue":{"value":{"amount":"+0.6799200773239136","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":"Q3305625$BA4EC552-C00B-4D9D-A5C8-E078839FC4B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on the benefit of proof representations by name","badges":[]}}}}}