{"entities":{"Q4176940":{"pageid":6206541,"ns":120,"title":"Item:Q4176940","lastrevid":40859115,"modified":"2025-04-12T01:26:26Z","type":"item","id":"Q4176940","labels":{"en":{"language":"en","value":"Reasoning about arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3612416"}},"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":"Q4176940$687C5A1A-67A2-4425-8B1B-27CFB6F3FC09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d15b03fc0a0f81eb748531b65e089280a1e36b","datavalue":{"value":{"text":"Reasoning about arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4176940$058AE0D0-69AB-4BD9-8846-8BA9ADB08AE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312a1d26709094e21ed9b6e5f79a1776063218bd","datavalue":{"value":"0394.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$6765A759-DA5E-4F60-9167-43129AC38F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eb4b49ec414a82c62cfcd42fa2ec52661faf18e","datavalue":{"value":"10.1145/359104.359110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$BD073FFC-FD19-44FE-AA51-130826DB257C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce89a28b8751be49dfde7a8a71f1ba0108c6fee","datavalue":{"value":{"entity-type":"item","numeric-id":1260642,"id":"Q1260642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4176940$FE48AEE2-1517-4F7B-B2AE-ADEDACB39C85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4176940$A3E8D81A-12B4-454D-B3EE-E2426EFED182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$6CABC4DC-377C-444A-80BC-122738AC856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$12812AA7-201A-4A38-9697-2DB97C465611","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eebeef8f1826575459b09ea7deb8ce36f959278","datavalue":{"value":"3612416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$2BE1E3CB-3897-4C71-A3BF-2A896F2E1A23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fe4989902121c65613e2fa17fb58c5fa2718f6","datavalue":{"value":"Arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4176940$991B3C87-CF02-45E5-B213-B4743E0278C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee77c70b403ad72d9ef2074a5693d5682479a3b","datavalue":{"value":"Program Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4176940$A095B16E-1675-4566-90EB-4FE602609943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e745a68623006292e8390704a857396fc23a69","datavalue":{"value":"Partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4176940$7E771340-407A-4E75-8ADC-18FD2B65C096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccc3403bcc689a38e77fd5f0caab270e1af3e16","datavalue":{"value":"Binary Search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4176940$364486E0-EDCF-4788-B0FF-D980DDFEAA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532115d8dc0eb64bf75343bb00033518dae70989","datavalue":{"value":"Merging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4176940$EDAF716D-610C-40A3-9A6D-951683DE5055","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":"Q4176940$C6AC3CC4-FCD8-468C-9C9D-BF3D05536984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ffd1198e6f2243c019a76561b818c969d05663d","datavalue":{"value":"https://doi.org/10.1145/359104.359110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4176940$A87F67FD-3E6A-4354-9B61-D83488E735C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1e440fe400315addbdad117861a682ea2dd8001","datavalue":{"value":"W2037247941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4176940$617E52D9-3067-4AFF-A2D5-E2B4B0A002E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4176940$BCB7342B-AA7C-4D29-A06E-E7B0460E7E43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4176940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4176940"}}}}}