{"entities":{"Q470008":{"pageid":471775,"ns":120,"title":"Item:Q470008","lastrevid":62119137,"modified":"2026-04-11T03:53:34Z","type":"item","id":"Q470008","labels":{"en":{"language":"en","value":"An inductive approach to strand spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368388"}},"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":"Q470008$5924A9B9-6F09-43F3-8566-C489BDC350CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3748eb56a62e57ef2356afa0d7f6ddfd2265ff97","datavalue":{"value":{"text":"An inductive approach to strand spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470008$DC8F7A30-787F-45E3-9071-6D4F8352A0AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb93c49fd6fb31a0201fb3f062e49a0ef0b02f01","datavalue":{"value":"1298.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$A1C7901A-81DB-4969-87AE-C6E200AEE7C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7c4100404442680e9faf3f2ae6e537b0cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":319638,"id":"Q319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$F7523376-8BE7-4B52-90DE-B0266AD60BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$6A50903F-FC28-482C-983F-5A22CD87D4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$6D834312-40F4-4D21-8308-86E172255091","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470008$2DB4E0B3-01B8-414A-8BC8-5BCA57662521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$EFDAA786-C2B6-45BF-B199-A8E60B27D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$728B261B-61CF-4CB0-BB5F-D9BB1751B65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$125D9E2E-C37D-48A5-ADA0-BB763088B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$A8B66E30-F627-4A9E-A0FC-4564DEFAA1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$F118E12E-CE74-47F4-B42A-1CF8559AF6D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"222dd2ae9c55afc683aa150ffe05bed25b907cc1","datavalue":{"value":"6368388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$06EB61AB-BAE8-48F7-9388-9FD6E125F979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895bf8201231b6fce83a0a8f0d82857ba32a5f82","datavalue":{"value":"strand spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q470008$0276A4F7-78EA-441B-8E0F-FF72CF64BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q470008$68F8EE8C-F82A-4AA6-AF7C-FDAC4E61554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q470008$7E0B3B96-06E9-4A37-95EB-03F757E932CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca703892ef4fb7d7c545d5ea776565ea5e1cb12","datavalue":{"value":"inductive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q470008$ABDDAF02-07F1-44C8-BF75-6E8EAE45084C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$4770CED9-2637-4CD0-BD33-075F6430BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$FD094BE6-2F2B-4167-9885-0BE308EEB408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$011BAA93-D079-4B41-AEE6-EDDD2A48CF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$204B338D-FC43-4D9D-9B14-9AABA5F195F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0f045bd7a47e48b127edd192d79403ad52dff49","datavalue":{"value":{"entity-type":"item","numeric-id":51727,"id":"Q51727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$AD49C1FD-04CE-4F81-92B2-58688A7EAA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$36EF80D2-0C4E-4D49-B21A-2CD66A5EC654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$290C2E51-F0F4-4814-B3A8-2F29C3041B09","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":"Q470008$0370ACCA-4338-4B22-9ADE-DD9C087072F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b85cdd429f27c71129d9273ca5736685b87359","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0187-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q470008$18B8D214-2458-4FE0-93EF-11C19606773E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd741d25e718fe7a39f3a9d9254e6826bb38752a","datavalue":{"value":"W2024331990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$768A2DD2-8E0B-44A9-A0FE-4E8A67070696","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$D4EC375A-9002-421D-9565-FF4821633A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$C75CAAFD-4891-4288-B036-E26D1E3C4D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefaab7da4f2ee50fc8b68dfee6ec1c1a257ce7d","datavalue":{"value":{"entity-type":"item","numeric-id":3058268,"id":"Q3058268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$56634AED-EFC3-4AF4-AD08-0980C75CCE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f736be95a49197009ad97d155ecc989f5866f903","datavalue":{"value":{"entity-type":"item","numeric-id":5479190,"id":"Q5479190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$BFBBD2D6-6E4F-4F1C-B9DB-A9C8CA3B418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$5F2FCBB7-4230-437C-A080-E05E0E2AC000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$7A65CBAA-627D-4D49-B5FB-067197D1056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201bc6c313aaa839cb0cf8e0a03ec6bb235517d3","datavalue":{"value":{"entity-type":"item","numeric-id":3499787,"id":"Q3499787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470008$5556CF33-6134-4836-9776-7A67539C60A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66ef4df5d858c7359f6e67a42afcaf4cb42703ce","datavalue":{"value":"10.1007/S00165-011-0187-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470008$FD943118-BB40-4DBB-BE27-2203F35C6C1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed26cc3e2eafa95baf90e6b2504fdb840ed3c00b","datavalue":{"value":{"entity-type":"item","numeric-id":5479190,"id":"Q5479190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef28cf8fd76cf93d32099c25869b3a880da088aa","datavalue":{"value":{"amount":"+0.9139004945755004","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":"Q470008$FBF4D279-DF53-44FF-BBB1-9645EFC2F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e8931ce06e43caa4fa1ec7b852db40a52dd13","datavalue":{"value":{"entity-type":"item","numeric-id":4415247,"id":"Q4415247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c478316465a6e288aa4a256438dd7635f5416ff","datavalue":{"value":{"amount":"+0.8065581321716309","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":"Q470008$00B90C80-28B0-41CD-A9CA-0240ED26689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6bb13b61f5afc6c5e0793dce2191f2d46d4b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5170670,"id":"Q5170670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c031b947e763d8b94da0a5b067860919a2a3c8","datavalue":{"value":{"amount":"+0.7650178074836731","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":"Q470008$2ABAE7B0-057F-487F-ACE0-3C3A8C5206F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c55964f1eb09a1c60f60085e26c6680291d08a","datavalue":{"value":{"entity-type":"item","numeric-id":1412125,"id":"Q1412125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc123cda4ba97ce71f29c0f97eba2fa1b008f3bd","datavalue":{"value":{"amount":"+0.752346396446228","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":"Q470008$4B1F2DBF-D68B-4400-B518-F80A5A73E21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df43efcd5fc83a0a9bb88f3c92091f6bb15335b9","datavalue":{"value":{"entity-type":"item","numeric-id":4261080,"id":"Q4261080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f95616ed6b9f0eed7e6801d921e12ddf6539b1b","datavalue":{"value":{"amount":"+0.7501800060272217","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":"Q470008$9854BECC-16A8-41CB-AFED-0720931ADF35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inductive approach to strand spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inductive_approach_to_strand_spaces"}}}}}